diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/api/datatypes-new.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/datatypes-new.cpp b/examples/api/datatypes-new.cpp index 14ddcd383..58b23bcc2 100644 --- a/examples/api/datatypes-new.cpp +++ b/examples/api/datatypes-new.cpp @@ -115,7 +115,7 @@ void test(Solver& slv, Sort& consListSort) } } - Term a = slv.declareFun("a", paramConsIntListSort); + Term a = slv.declareConst("a", paramConsIntListSort); std::cout << "term " << a << " is of sort " << a.getSort() << std::endl; Term head_a = slv.mkTerm( |