From 60990abc2a94ee344de6002e2410f1c03b0c49d2 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 | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
index 9336ad7217..db25e1300e 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
+    { validity :: ValidityResult
+    , condition :: Maybe Condition
     , logs :: Maybe [LogEntry]
     }
     deriving stock (Generic, Show, Eq)