diff options
Diffstat (limited to 'src/smt/sygus_solver.h')
-rw-r--r-- | src/smt/sygus_solver.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/sygus_solver.h b/src/smt/sygus_solver.h index 4e7a04364..b37762ce1 100644 --- a/src/smt/sygus_solver.h +++ b/src/smt/sygus_solver.h @@ -131,7 +131,7 @@ class SygusSolver : protected EnvObj * in which f1...fn are the functions-to-synthesize, v1...vm are the declared * universal variables and F is the set of declared constraints. */ - Result checkSynth(Assertions& as); + Result checkSynth(Assertions& as, bool isNext); /** * Get synth solution. * |