Reuse the Condition type for substitution and constrains

runtimeverification · Aug 8, 2023 · 60990ab · 60990ab
1 parent 839fe34
commit 60990ab
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
@@ -178,9 +178,8 @@ data GetModelResult = GetModelResult
         via CustomJSON '[OmitNothingFields, FieldLabelModifier '[CamelToKebab]] GetModelResult
 
 data SimplifyImplicationResult = SimplifyImplicationResult
-    { satisfiable :: SatResult
-    , substitution :: Maybe KoreJson
-    { valid :: ValidityResult
+    { validity :: ValidityResult
+    , condition :: Maybe Condition
     , logs :: Maybe [LogEntry]
     }
     deriving stock (Generic, Show, Eq)