Revert "try to fix frequent jvm segfaults"

This reverts commit 6f03641.
kframework · Aug 21, 2015 · d9bfd3b · d9bfd3b
1 parent 6f03641
commit d9bfd3b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/k-distribution/tests/regression/smt-sort-flattening/config.xml b/k-distribution/tests/regression/smt-sort-flattening/config.xml
@@ -8,7 +8,6 @@
         extension="test">
     <all-programs>
       <krun-option name="--symbolic-execution" />
-      <krun-option name="--smt" value="none" />
     </all-programs>
   </test>
 </tests>