fixes #4

hgarrereyn · Feb 27, 2024 · 06ead46 · 06ead46
1 parent becc0e0
commit 06ead46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sbva.cc b/sbva.cc
@@ -863,8 +863,8 @@ int main(int argc, char **argv) {
             case 'p':
                 generate_proof = true;
                 fproof = fopen(optarg, "w");
-                if (fin == NULL) {
-                    fprintf(stderr, "Error: Could not open file %s for reading\n", optarg);
+                if (fproof == NULL) {
+                    fprintf(stderr, "Error: Could not open file %s for writing\n", optarg);
                     return 1;
                 }
                 break;