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