Fix

cvc5 · Feb 18, 2025 · 31b6a81 · 31b6a81
1 parent 9b80d40
commit 31b6a81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kind.cpp b/src/kind.cpp
@@ -162,7 +162,7 @@ std::string kindToTerm(Kind k)
         case Kind::EVAL_INT_MOD: ss << "zmod";break;
         case Kind::EVAL_RAT_DIV: ss << "qdiv";break;
         case Kind::EVAL_IS_NEG: ss << "is_neg";break;
-        case Kind::EVAL_GT: return "gt";break;
+        case Kind::EVAL_GT: ss << "gt";break;
         // strings
         case Kind::EVAL_LENGTH: ss << "len"; break;
         case Kind::EVAL_CONCAT: ss << "concat"; break;