From 640eaf9c69c12f8e2cf372848174b574978ce5a3 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Tue, 8 Aug 2023 12:25:46 +0200
Subject: [PATCH] Reuse the `Condition` type for substitution and constrains

---
 kore-rpc-types/src/Kore/JsonRpc/Types.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
index 9336ad72173..b57a3869b5e 100644
--- 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)