diff options
Diffstat (limited to 'src/util/regexp.h')
| -rw-r--r-- | src/util/regexp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index a91f825ec..4b26b6e91 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -25,8 +25,8 @@ #include <set> #include <sstream> #include <cassert> -//#include "util/integer.h" -#include "util/exception.h" + +#include "base/exception.h" #include "util/hash.h" namespace CVC4 { |