From 0b7bd6539f1b471e0d1df997170b251e6b950339 Mon Sep 17 00:00:00 2001
From: Joshua Bergthold <jbergthold@uiowa.edu>
Date: Fri, 20 Feb 2026 10:36:07 -0600
Subject: [PATCH] Add noModelElementSet value to enum

---
 src/main/java/edu/uiowa/cs/clc/kind2/results/Object.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/main/java/edu/uiowa/cs/clc/kind2/results/Object.java b/src/main/java/edu/uiowa/cs/clc/kind2/results/Object.java
index 184f559..0dcab85 100644
--- a/src/main/java/edu/uiowa/cs/clc/kind2/results/Object.java
+++ b/src/main/java/edu/uiowa/cs/clc/kind2/results/Object.java
@@ -24,8 +24,8 @@ public enum Object
   modelElementSet("modelElementSet"),
   progress("progress"),
   lsp("lsp"),
-  modelSetEnumeration("modelSetEnumeration");
-
+  modelSetEnumeration("modelSetEnumeration"),
+  noModelElementSet("noModelElementSet");
   private final String value;
 
   private Object(String value)
@@ -63,6 +63,8 @@ public static Object getKind2Object(String kind2Object)
         return lsp;
       case "modelSetEnumeration":
         return modelSetEnumeration;
+      case "noModelElementSet":
+        return noModelElementSet;
       default:
         throw new UnsupportedOperationException("Value " + kind2Object + " is not defined");
     }