diff options
Diffstat (limited to 'src/smt/smt_engine_scope.h')
| -rw-r--r-- | src/smt/smt_engine_scope.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine_scope.h b/src/smt/smt_engine_scope.h index c4ec15371..5a7e39849 100644 --- a/src/smt/smt_engine_scope.h +++ b/src/smt/smt_engine_scope.h @@ -19,6 +19,7 @@ #pragma once +#include "base/configuration_private.h" #include "base/cvc4_assert.h" #include "base/output.h" #include "base/tls.h" @@ -27,7 +28,6 @@ #include "proof/proof_manager.h" #include "options/smt_options.h" #include "smt/smt_engine.h" -#include "util/configuration_private.h" namespace CVC4 { |