bug in return value fixed

suvamM · May 21, 2020 · 3c39efb · 3c39efb
1 parent 78bf973
commit 3c39efb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Sources/VeriSol/VeriSolExecuter.cs b/Sources/VeriSol/VeriSolExecuter.cs
@@ -72,12 +72,12 @@ public int Execute()
                 if (e.Message == "Compilation Error")
                 {
                     Console.WriteLine($"VeriSol Error: {e.Message}");
-                    return 0;
+                    return 1;
                 }
                 else
                 {
                     Console.WriteLine($"VeriSol translation error: {e.Message}");
-                    return 0;
+                    return 1;
                 }
             }
             // try to prove first