Update promisingOpt

rems-project · Nov 10, 2022 · 49446a2 · 49446a2
1 parent 488f5d2
commit 49446a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/promisingOpt b/promisingOpt
@@ -1,2 +1,2 @@
 #!/bin/sh
-$(dirname "$0")/rmem -model promising -shallow_embedding true -model promise_first "$@" -hash_prune false -model promising_parallel_thread_state_search
+$(dirname "$0")/rmem -model promising -model promise_first "$@" -hash_prune false -model promising_parallel_thread_state_search