diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-01-05 19:12:54 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-01-05 19:12:54 +0000 |
commit | 93096d3503f515d639a9c7ba76f0a0b3176b9c49 (patch) | |
tree | 8bea1ff6f77a9ba8d2fb5186b65cc8c306defc91 /test | |
parent | f9a4fe48a4ec2355f8fec93d3f47242577df2511 (diff) |
fix for build errors
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/theory/shared_term_manager_black.h | 1 | ||||
-rw-r--r-- | test/unit/theory/theory_engine_white.h | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/test/unit/theory/shared_term_manager_black.h b/test/unit/theory/shared_term_manager_black.h index 7340f6ae7..76f3712f0 100644 --- a/test/unit/theory/shared_term_manager_black.h +++ b/test/unit/theory/shared_term_manager_black.h @@ -24,7 +24,6 @@ #include "theory/theory.h" #include "theory/theory_engine.h" -#include "theory/theoryof_table.h" #include "expr/node.h" #include "expr/node_manager.h" #include "expr/kind.h" diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h index 19f7c440d..c78a7456d 100644 --- a/test/unit/theory/theory_engine_white.h +++ b/test/unit/theory/theory_engine_white.h @@ -28,7 +28,6 @@ #include "theory/theory.h" #include "theory/theory_engine.h" -#include "theory/theoryof_table.h" #include "theory/rewriter.h" #include "expr/node.h" #include "expr/node_manager.h" |