rev bump

Author: Scott Nellenbach

src/ordt/extract/Ordt.java

@@ -31,7 +31,7 @@
 
 public class Ordt {
 
-	private static String version = "180123.01"; 
+	private static String version = "180201.01"; 
 	private static DebugController debug = new MyDebugController(); // override design annotations, input/output files
 
 	public enum InputType { RDL, JSPEC };