Extend Printer infrastructure also to the "Result" class, meaning that different output languages can write "sat", "unsat", etc., in different ways. No output is changed by this commit, but the flexibility is added that Francois wanted at today's meeting.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/expr/command.cpp b/src/expr/command.cpp
index 7dd9df69a..78d04f000 100644
--- a/src/expr/command.cpp
+++ b/src/expr/command.cpp
@@ -1100,7 +1100,7 @@ std::ostream& operator<<(std::ostream& out,
     return out << "unknown";
 
   default:
-    return out << "SetBenchmarkStatusCommand::[UNKNOWNSTATUS!]";
+    return out << "BenchmarkStatus::[UNKNOWNSTATUS!]";
   }
 }