projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 67fd8cc)
Reordering sep and sets in Makefile.theories.
authorTim King <taking@google.com>
Thu, 29 Dec 2016 22:34:29 +0000 (14:34 -0800)
committerTim King <taking@google.com>
Thu, 29 Dec 2016 22:34:29 +0000 (14:34 -0800)
src/Makefile.theories patch | blob | history

diff --git a/src/Makefile.theories b/src/Makefile.theories
index 003128a3c75361bbb9238cdb6e5650d0741e3440..276663cc5fea720642918aa0826f1c766dba6f66 100644 (file)
--- a/src/Makefile.theories
+++ b/src/Makefile.theories
@@ -1,3 +1,3 @@
 
 
-THEORIES = builtin booleans uf arith bv fp arrays datatypes sets sep strings quantifiers idl
+THEORIES = builtin booleans uf arith bv fp arrays datatypes sep sets strings quantifiers idl