diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-14 14:32:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-14 14:32:51 +0000 |
commit | de6c0b0929f23fd3d01ae4c8bd3b93d4f484b7c7 (patch) | |
tree | f81881044a187571c56631466a2a9e0622f1d2c9 /src/theory/uf | |
parent | c1b87cb541768fa9811cef643e43fdc09091c353 (diff) |
The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-solver) uses of std::cout to the Message stream, and all uses of std::cerr to the Warning stream.
Diffstat (limited to 'src/theory/uf')
-rw-r--r-- | src/theory/uf/theory_uf_type_rules.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/uf/theory_uf_type_rules.h b/src/theory/uf/theory_uf_type_rules.h index b68a11abd..2856e6a01 100644 --- a/src/theory/uf/theory_uf_type_rules.h +++ b/src/theory/uf/theory_uf_type_rules.h @@ -46,8 +46,8 @@ public: TypeNode currentArgumentType = *argument_type_it; if(!currentArgument.isSubtypeOf(currentArgumentType)) { std::stringstream ss; - ss << Expr::setlanguage(language::toOutputLanguage(Options::current()->inputLanguage)) - << "argument types is not a subtype of the function's argument type:\n" + ss << Expr::setlanguage(Options::current()->outputLanguage) + << "argument type is not a subtype of the function's argument type:\n" << "argument: " << *argument_it << "\n" << "has type: " << (*argument_it).getType() << "\n" << "not subtype: " << *argument_type_it; |