rev bump in new repo

sdnellen · Jul 25, 2019 · 6f4c3b0 · 6f4c3b0
1 parent 551f5af
commit 6f4c3b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ordt/extract/Ordt.java b/src/ordt/extract/Ordt.java
@@ -36,7 +36,7 @@
 
 public class Ordt {
 
-	private static String version = "190715.01";
+	private static String version = "190725.01";
 	private static DebugController debug = new MyDebugController(); // override design annotations, input/output files
 
 	public enum InputType { RDL, JSPEC };