diff options
Diffstat (limited to 'examples/api/sygus-fun.cpp')
| -rw-r--r-- | examples/api/sygus-fun.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/sygus-fun.cpp b/examples/api/sygus-fun.cpp index d6437afa3..6c47ec715 100644 --- a/examples/api/sygus-fun.cpp +++ b/examples/api/sygus-fun.cpp @@ -78,7 +78,7 @@ int main() Term one = slv.mkReal(1); Term plus = slv.mkTerm(PLUS, start, start); - Term minus = slv.mkTerm(PLUS, start, start); + Term minus = slv.mkTerm(MINUS, start, start); Term ite = slv.mkTerm(ITE, start_bool, start, start); Term And = slv.mkTerm(AND, start_bool, start_bool); |