diff options
Diffstat (limited to 'src/expr/Makefile.am')
-rw-r--r-- | src/expr/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 63f31ed67..d4964f56a 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -70,8 +70,6 @@ libexpr_la_SOURCES = \ predicate.cpp \ record.cpp \ record.h \ - result.cpp \ - result.h \ uninterpreted_constant.cpp \ uninterpreted_constant.h @@ -113,7 +111,6 @@ EXTRA_DIST = \ resource_manager.i \ sexpr.i \ record.i \ - result.i \ predicate.i \ variable_type_map.i \ uninterpreted_constant.i |