diff options
Diffstat (limited to 'src/util/maybe.h')
-rw-r--r-- | src/util/maybe.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/maybe.h b/src/util/maybe.h index 4d279a0c7..2fa7c2f11 100644 --- a/src/util/maybe.h +++ b/src/util/maybe.h @@ -27,7 +27,8 @@ #pragma once #include <ostream> -#include "util/exception.h" + +#include "base/exception.h" namespace CVC4 { |