diff options
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index 5bd607d94..bbde7193f 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -15,15 +15,16 @@ ** Implementation of Configuration class, which provides compile-time ** configuration information about the CVC4 library. **/ +#include "util/configuration.h" -#include <string> -#include <string.h> #include <stdlib.h> +#include <string.h> + #include <sstream> +#include <string> -#include "util/configuration.h" -#include "util/configuration_private.h" #include "cvc4autoconfig.h" +#include "util/configuration_private.h" #if defined(CVC4_DEBUG) && defined(CVC4_TRACING) # include "options/Debug_tags.h" |