fix

marijnheule · Feb 28, 2023 · 633e4a9 · 633e4a9
1 parent d1185e3
commit 633e4a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/drat-trim.c b/drat-trim.c
@@ -1130,7 +1130,7 @@ int parse (struct solver* S) {
         fileLine = 0;
         fileSwitchFlag = 1; } }
 
-    if (!tmp && !S.binMode) {
+    if (!tmp && !S->binMode) {
       char ignore[1<<16];
       if (!fileSwitchFlag) { if (fgets (ignore, sizeof (ignore), S->inputFile) == NULL) printf ("c\n"); }
       else                   if (fgets (ignore, sizeof (ignore), S->proofFile) == NULL) printf ("c\n");