diff options
| author | Tim King <taking@google.com> | 2016-12-29 14:34:29 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-12-29 14:34:29 -0800 |
| commit | 6c786386b9ef72bc83584e7349fa1b5a4230bee0 (patch) | |
| tree | f4811e90d5ad8314b714ce5a30fec956bef29782 /src/Makefile.theories | |
| parent | 67fd8cc104ec9861ca234bb3170c7f992eea3868 (diff) | |
Reordering sep and sets in Makefile.theories.
Diffstat (limited to 'src/Makefile.theories')
| -rw-r--r-- | src/Makefile.theories | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.theories b/src/Makefile.theories index 003128a3c..276663cc5 100644 --- 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 |