diff options
Diffstat (limited to 'src/Makefile.theories')
-rw-r--r-- | src/Makefile.theories | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.theories b/src/Makefile.theories new file mode 100644 index 000000000..8b5cef4d5 --- /dev/null +++ b/src/Makefile.theories @@ -0,0 +1,3 @@ + + +THEORIES = builtin booleans uf arith bv fp arrays datatypes sets strings quantifiers idl |