Correcting last change in CadicalWrap.h (Windows)

marekpiotrow · marekpiotrow · commit 74b6db89f06f · 2025-02-15T22:21:17.000+01:00
diff --git a/CadicalWrap.h b/CadicalWrap.h
@@ -86,7 +86,7 @@ class SimpSolver {
             solver->connect_terminator(&alarm_term);
         }
 #else
-        (void)limit_time;
+        (void)time_limit;
 #endif
     }
 

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,7 @@ class SimpSolver {`
`86`	`86`	`solver->connect_terminator(&alarm_term);`
`87`	`87`	`}`
`88`	`88`	`#else`
`89`		`- (void)limit_time;`
	`89`	`+ (void)time_limit;`
`90`	`90`	`#endif`
`91`	`91`	`}`
`92`	`92`