Accidentally introduced a problem with variable elimination, which is…

… here withdrawn until fixed.
bodenlab · Nov 23, 2024 · bf46b77 · bf46b77
1 parent 4709feb
commit bf46b77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/asr/GRASP.java b/src/asr/GRASP.java
@@ -27,7 +27,7 @@
  */
 public class GRASP {
 
-    public static String VERSION = "20-Nov-2024";
+    public static String VERSION = "23-Nov-2024";
 
     public static boolean VERBOSE  = false;
     public static boolean TIME     = false;