diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 18:47:18 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 19:08:20 -0400 |
commit | aef9f4e13ddcf2fa48226d98a2a14f9141a761f7 (patch) | |
tree | 1408033093d6baf363bcf4760262d1daf3d7f506 /src/options | |
parent | 21c71dd206b2b131ee12c811bd7b0997de07adfa (diff) |
Fix for rewriterules build breakage.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/Makefile.am b/src/options/Makefile.am index 8780922c9..18b2c42f4 100644 --- a/src/options/Makefile.am +++ b/src/options/Makefile.am @@ -21,8 +21,6 @@ OPTIONS_FILES_SRCS = \ ../theory/arrays/options.h \ ../theory/quantifiers/options.cpp \ ../theory/quantifiers/options.h \ - ../theory/rewriterules/options.cpp \ - ../theory/rewriterules/options.h \ ../theory/strings/options.cpp \ ../theory/strings/options.h \ ../prop/options.cpp \ @@ -84,8 +82,6 @@ nodist_liboptions_la_SOURCES = \ ../theory/arrays/options.h \ ../theory/quantifiers/options.cpp \ ../theory/quantifiers/options.h \ - ../theory/rewriterules/options.cpp \ - ../theory/rewriterules/options.h \ ../theory/strings/options.cpp \ ../theory/strings/options.h \ ../prop/options.cpp \ |