Add CtxSyntactic

runtimeverification · Aug 20, 2024 · cb02384 · cb02384
1 parent c460c79
commit cb02384
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types/ContextLog.hs b/kore-rpc-types/src/Kore/JsonRpc/Types/ContextLog.hs
@@ -38,6 +38,7 @@ data SimpleContext
     | CtxUnify
     | CtxDefinedness
     | CtxConstraint
+    | CtxSyntactic
     | CtxSMT
     | CtxLlvm
     | -- results