diff options
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 768f07108..57ff3c5c0 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -21,13 +21,14 @@ #ifndef __CVC4__PROP_ENGINE_H #define __CVC4__PROP_ENGINE_H +#include <sys/time.h> + +#include "base/modal_exception.h" #include "expr/node.h" +#include "expr/result.h" #include "options/options.h" -#include "util/result.h" -#include "util/unsafe_interrupt_exception.h" -#include "smt/modal_exception.h" #include "proof/proof_manager.h" -#include <sys/time.h> +#include "util/unsafe_interrupt_exception.h" namespace CVC4 { |