diff options
Diffstat (limited to 'src/util/symfpu_literal.cpp')
-rw-r--r-- | src/util/symfpu_literal.cpp | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/util/symfpu_literal.cpp b/src/util/symfpu_literal.cpp index a547daccd..46d3cbe40 100644 --- a/src/util/symfpu_literal.cpp +++ b/src/util/symfpu_literal.cpp @@ -17,6 +17,25 @@ namespace CVC4 { +#ifndef CVC4_USE_SYMFPU +void FloatingPointLiteral::unfinished(void) const +{ + Unimplemented() << "Floating-point literals not yet implemented."; +} + +bool FloatingPointLiteral::operator==(const FloatingPointLiteral& other) const +{ + unfinished(); + return false; +} + +size_t FloatingPointLiteral::hash(void) const +{ + unfinished(); + return 23; +} +#endif + namespace symfpuLiteral { // To simplify the property macros |