diff options
Diffstat (limited to 'src/expr/node.cpp')
| -rw-r--r-- | src/expr/node.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index e303a9e58..f6c2250b1 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -43,4 +43,9 @@ NodeTemplate<true> TypeCheckingExceptionPrivate::getNode() const throw() { return *d_node; } +UnknownTypeException::UnknownTypeException(TNode n) throw() : + TypeCheckingExceptionPrivate(n, "this expression contains an element of unknown type (such as an abstract value);" + " its type cannot be computed until it is substituted away") { +} + }/* CVC4 namespace */ |