diff options
author | Tim King <taking@cs.nyu.edu> | 2011-02-17 01:02:06 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-02-17 01:02:06 +0000 |
commit | 4713dd0a7fcf73a73909cc35e9e1d615022c8975 (patch) | |
tree | 36df381464b1fa8c7163f202fb1fa4cf6d2b1e20 /src/theory/arith/Makefile.am | |
parent | 6bfdda562cc4d838f9b1e90b7c7107162bf5200e (diff) |
Updates based on the group code review of arithmetic on 2011-02-15. The only substantive change is that UnatePropagator no longer uses attributes. The rest is comments and other beatification.
Diffstat (limited to 'src/theory/arith/Makefile.am')
-rw-r--r-- | src/theory/arith/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index 31867c4cf..139a53350 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -17,9 +17,7 @@ libarith_la_SOURCES = \ delta_rational.cpp \ partial_model.h \ partial_model.cpp \ - ordered_bounds_list.h \ ordered_set.h \ - arithvar_dense_set.h \ arithvar_set.h \ tableau.h \ tableau.cpp \ |