diff options
Diffstat (limited to 'src/util/floatingpoint.cpp')
-rw-r--r-- | src/util/floatingpoint.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp index 1aed6331e..d3bb1967a 100644 --- a/src/util/floatingpoint.cpp +++ b/src/util/floatingpoint.cpp @@ -13,9 +13,10 @@ ** **/ -#include "util/cvc4_assert.h" #include "util/floatingpoint.h" +#include "base/cvc4_assert.h" + namespace CVC4 { FloatingPointSize::FloatingPointSize (unsigned _e, unsigned _s) : e(_e), s(_s) @@ -35,4 +36,3 @@ namespace CVC4 { } }/* CVC4 namespace */ - |