Fix

msoos · msoos · commit c62fa2c9b920 · 2026-02-25T22:00:46.000+01:00
diff --git a/src/arjun.h b/src/arjun.h
@@ -1275,7 +1275,7 @@ class SimplifiedCNF {
         AIG::simplify_aigs(verb, defs);
     }
     const auto& get_aig_mng() const { return aig_mng; }
-    void import_candidate_functions(const string& fname, int verb);
+    void import_candidate_functions(const std::string& fname, int verb);
 
 private:
     bool after_backward_round_synth = false;

Original file line number	Diff line number	Diff line change
`@@ -1275,7 +1275,7 @@ class SimplifiedCNF {`
`1275`	`1275`	`AIG::simplify_aigs(verb, defs);`
`1276`	`1276`	`}`
`1277`	`1277`	`const auto& get_aig_mng() const { return aig_mng; }`
`1278`		`- void import_candidate_functions(const string& fname, int verb);`
	`1278`	`+ void import_candidate_functions(const std::string& fname, int verb);`
`1279`	`1279`
`1280`	`1280`	`private:`
`1281`	`1281`	`bool after_backward_round_synth = false;`