diff options
Diffstat (limited to 'src/util/configuration.cpp')
| -rw-r--r-- | src/util/configuration.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index d0fc3cd1d..6fe2e2af0 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -28,11 +28,11 @@ #include "cvc4autoconfig.h" #if defined(CVC4_DEBUG) && defined(CVC4_TRACING) -# include "util/Debug_tags.h" +# include "options/Debug_tags.h" #endif /* CVC4_DEBUG && CVC4_TRACING */ #ifdef CVC4_TRACING -# include "util/Trace_tags.h" +# include "options/Trace_tags.h" #endif /* CVC4_TRACING */ using namespace std; |