FIX output

maxtuno · Aug 7, 2019 · a9f7734 · a9f7734
1 parent cffdd47
commit a9f7734
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/slime/src/Main.cc b/slime/src/Main.cc
@@ -76,6 +76,8 @@ int main(int argc, char *argv[]) {
     vec<Lit> assumptions;
     lbool result = S.solveLimited(assumptions);
 
+    printf("\n");
+
     printf(result == l_True ? "s SATISFIABLE\nv " : result == l_False ? "s UNSATISFIABLE\n" : "s UNKNOWN\n");
     if (result == l_True) {
         for (long i = 0; i < S.nVars(); i++)