Fixing name

meelgroup · Feb 4, 2024 · 5907616 · 5907616
1 parent dffbf3c
commit 5907616
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/arjun.cpp b/src/arjun.cpp
@@ -607,7 +607,7 @@ DLL_PUBLIC SimplifiedCNF Arjun::get_fully_simplified_renumbered_cnf(
     if (sparsify) {
         str2.clear();
         if (arjdata->common.conf.bce) str2+= "occ-bce,";
-        str2 += string("sparsify,") + str;
+        str2 += string("oracle-sparsify,") + str;
         solver.simplify(&dont_elim, &str2);
     }
     //one more without sparsify