[OM] Update printer for OMDeleted targets.

All targets require the colon after the target kind, even OMDeleted.
elhewaty · Mar 15, 2024 · 0db5224 · 0db5224
1 parent f1d478b
commit 0db5224
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Dialect/OM/Evaluator/Evaluator.cpp b/lib/Dialect/OM/Evaluator/Evaluator.cpp
@@ -816,7 +816,7 @@ evaluator::PathValue evaluator::PathValue::getEmptyPath(Location loc) {
 StringAttr evaluator::PathValue::getAsString() const {
   // If the module is null, then this is a path to a deleted object.
   if (!targetKind)
-    return StringAttr::get(getContext(), "OMDeleted");
+    return StringAttr::get(getContext(), "OMDeleted:");
   SmallString<64> result;
   switch (targetKind.getValue()) {
   case TargetKind::DontTouch: