Add CtxSyntactic

runtimeverification · Aug 13, 2024 · 6b7c601 · 6b7c601
1 parent d6dd4a5
commit 6b7c601
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