diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index a2fddadfc..1abcf398b 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -336,8 +336,7 @@ TypeNode NodeManager::mkPredicateSubtype(Expr lambda) if(! tn.isPredicateLike() || tn.getArgTypes().size() != 1) { std::stringstream ss; - ss << Expr::setlanguage(Options::current()->outputLanguage) - << "expected a predicate of one argument to define predicate subtype, but got type `" << tn << "'"; + ss << "expected a predicate of one argument to define predicate subtype, but got type `" << tn << "'"; throw TypeCheckingExceptionPrivate(lambdan, ss.str()); } @@ -357,8 +356,7 @@ TypeNode NodeManager::mkPredicateSubtype(Expr lambda, Expr witness) if(! tn.isPredicateLike() || tn.getArgTypes().size() != 1) { std::stringstream ss; - ss << Expr::setlanguage(Options::current()->outputLanguage) - << "expected a predicate of one argument to define predicate subtype, but got type `" << tn << "'"; + ss << "expected a predicate of one argument to define predicate subtype, but got type `" << tn << "'"; throw TypeCheckingExceptionPrivate(lambdan, ss.str()); } |