diff options
Diffstat (limited to 'src/theory/arith/ordered_set.h')
-rw-r--r-- | src/theory/arith/ordered_set.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/theory/arith/ordered_set.h b/src/theory/arith/ordered_set.h index c126ab568..e3eebae5c 100644 --- a/src/theory/arith/ordered_set.h +++ b/src/theory/arith/ordered_set.h @@ -17,6 +17,11 @@ ** \todo document this file **/ +#include "cvc4_private.h" + +#ifndef __CVC4__THEORY__ARITH__ORDERED_SET_H +#define __CVC4__THEORY__ARITH__ORDERED_SET_H + #include <map> #include <set> #include "expr/kind.h" @@ -114,3 +119,5 @@ typedef std::set<TNode, RightHandRationalLT> EqualValueSet; }/* CVC4::theory::arith namespace */ }/* CVC4::theory namespace */ }/* CVC4 namespace */ + +#endif /* __CVC4__THEORY__ARITH__ORDERED_SET_H */ |