diff options
Diffstat (limited to 'examples/api/sets.cpp')
-rw-r--r-- | examples/api/sets.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/api/sets.cpp b/examples/api/sets.cpp index 9e0c0a2af..fd85858a2 100644 --- a/examples/api/sets.cpp +++ b/examples/api/sets.cpp @@ -73,9 +73,9 @@ int main() Term two = slv.mkReal(2); Term three = slv.mkReal(3); - Term singleton_one = slv.mkTerm(SINGLETON, one); - Term singleton_two = slv.mkTerm(SINGLETON, two); - Term singleton_three = slv.mkTerm(SINGLETON, three); + Term singleton_one = slv.mkSingleton(integer, one); + Term singleton_two = slv.mkSingleton(integer, two); + Term singleton_three = slv.mkSingleton(integer, three); Term one_two = slv.mkTerm(UNION, singleton_one, singleton_two); Term two_three = slv.mkTerm(UNION, singleton_two, singleton_three); Term intersection = slv.mkTerm(INTERSECTION, one_two, two_three); |