Add CtxSyntactic

geo2a · geo2a · commit cb023848baae · 2024-08-20T13:56:51.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
