Add CtxSyntactic

geo2a · geo2a · commit b2b144e9ed44 · 2024-08-13T14:06:42.000+02:00
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
