X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Ftheory%2Fbags%2Frewrites.cpp;h=1a8f8f8491ea6cd36ed80cdcfcf38e109e8feb87;hb=70997d0e3ebf2027279373d9594c66119f3fa656;hp=896c4f251f40c1432b649a6ce4c38c2dccdf94a5;hpb=6afc21a16e740d4fb4a16cdbd9a6ff745c7ce00c;p=cvc5.git

diff --git a/src/theory/bags/rewrites.cpp b/src/theory/bags/rewrites.cpp
index 896c4f251..1a8f8f849 100644
--- a/src/theory/bags/rewrites.cpp
+++ b/src/theory/bags/rewrites.cpp
@@ -38,6 +38,9 @@ const char* toString(Rewrite r)
     case Rewrite::EQ_REFL: return "EQ_REFL";
     case Rewrite::EQ_SYM: return "EQ_SYM";
     case Rewrite::FROM_SINGLETON: return "FROM_SINGLETON";
+    case Rewrite::FOLD_BAG: return "FOLD_BAG";
+    case Rewrite::FOLD_CONST: return "FOLD_CONST";
+    case Rewrite::FOLD_UNION_DISJOINT: return "FOLD_UNION_DISJOINT";
     case Rewrite::IDENTICAL_NODES: return "IDENTICAL_NODES";
     case Rewrite::INTERSECTION_EMPTY_LEFT: return "INTERSECTION_EMPTY_LEFT";
     case Rewrite::INTERSECTION_EMPTY_RIGHT: return "INTERSECTION_EMPTY_RIGHT";