Reuse the Condition type for substitution and constrains

runtimeverification · Aug 8, 2023 · 640eaf9 · 640eaf9
1 parent 839fe34
commit 640eaf9
Showing 1 changed file with 1 addition and 2 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
+    , condition :: Maybe Condition
     , logs :: Maybe [LogEntry]
     }
     deriving stock (Generic, Show, Eq)