adds missing cases of kind_to_string

SRI-CSL · May 24, 2023 · 36cee66 · 36cee66
1 parent ff95410
commit 36cee66
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/mcsat/tracing.c b/src/mcsat/tracing.c
@@ -56,6 +56,12 @@ const char* kind_to_string(term_kind_t t) {
     return "UNINTERPRETED_TERM";
   case UPDATE_TERM:
     return "UPDATE_TERM";
+  case ARITH_RDIV:
+    return "ARITH_RDIV";
+  case ARITH_IDIV:
+    return "ARITH_IDIV";
+  case ARITH_MOD:
+    return "ARITH_MOD";
   default:
     assert(false);
     return "UNKNOWN_TERM";