diff options
Diffstat (limited to 'src/util/rational_gmp_imp.h')
-rw-r--r-- | src/util/rational_gmp_imp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index b86dc32f2..383f0fb2b 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -26,6 +26,7 @@ #include <string> #include "util/integer.h" +#include "util/exception.h" namespace CVC4 { |