diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:52:11 -0400 |
| commit | 4c20ab57d70c4812d75af037e95c371c65418333 (patch) | |
| tree | 88ae9d4ca928a5bb8536819ccbdbd9031b63684a /src/theory/arith/error_set.h | |
| parent | 753e84e5b3068efe973be1871b6456abf9b9470b (diff) | |
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
Diffstat (limited to 'src/theory/arith/error_set.h')
| -rw-r--r-- | src/theory/arith/error_set.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/error_set.h b/src/theory/arith/error_set.h index 27ac6ccd2..c5174a86a 100644 --- a/src/theory/arith/error_set.h +++ b/src/theory/arith/error_set.h @@ -26,9 +26,9 @@ #include "theory/arith/partial_model.h" #include "theory/arith/arith_heuristic_pivot_rule.h" #include "theory/arith/tableau_sizes.h" +#include "theory/arith/callbacks.h" #include "util/statistics_registry.h" -//#include <boost/heap/d_ary_heap.hpp> #if CVC4_GCC_HAS_PB_DS_BUG // Unfortunate bug in some older GCCs (e.g., v4.2): |