diff options
Diffstat (limited to 'examples/api/CMakeLists.txt')
-rw-r--r-- | examples/api/CMakeLists.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index 3ced5681c..6421a3263 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -1,22 +1,13 @@ set(CVC4_EXAMPLES_API bitvectors - bitvectors-new bitvectors_and_arrays - bitvectors_and_arrays-new combination - combination-new datatypes - datatypes-new extract - extract-new helloworld - helloworld-new linear_arith - linear_arith-new sets - sets-new strings - strings-new sygus-fun sygus-grammar sygus-inv |