missed a string update

CakeML · Jul 2, 2020 · 0f7dd86 · 0f7dd86
1 parent d2e84b1
commit 0f7dd86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/lpr_checker/ramseyProgScript.sml b/examples/lpr_checker/ramseyProgScript.sml
@@ -41,7 +41,7 @@ val check_ramsey_sem_def = Define`
       (case parse_lpr (all_lines fs (EL 1 cl)) of
         SOME lpr =>
           if check_lpr_unsat lpr (ramsey_lpr 4 18) then
-            add_stdout fs (strlit "s UNSATISFIABLE\n")
+            add_stdout fs (strlit "s VERIFIED UNSAT\n")
           else
             add_stderr fs nocheck_string
        | NONE => add_stderr fs nocheck_string)