diff options
Diffstat (limited to 'examples/simple_vc_quant_cxx.cpp')
| -rw-r--r-- | examples/simple_vc_quant_cxx.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/simple_vc_quant_cxx.cpp b/examples/simple_vc_quant_cxx.cpp index 7596b4771..538cb359f 100644 --- a/examples/simple_vc_quant_cxx.cpp +++ b/examples/simple_vc_quant_cxx.cpp @@ -40,7 +40,7 @@ int main() { std::cout << "Made expression : " << quantpospx << std::endl; //make ~P( 5 ) - Term five = slv.mkReal(5); + Term five = slv.mkInteger(5); Term pfive = slv.mkTerm(Kind::APPLY_UF, p, five); Term negpfive = slv.mkTerm(Kind::NOT, pfive); std::cout << "Made expression : " << negpfive << std::endl; |