Fix typo

runtimeverification · Aug 8, 2023 · 501ad4c · 501ad4c
1 parent 5b82de9
commit 501ad4c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types.hs b/kore-rpc-types/src/Kore/JsonRpc/Types.hs
@@ -192,7 +192,7 @@ data ImplicationValidityResult
     | -- | implication is invalid, explains why
       ImplicationInvalid ImplicationInvalidReason
     | -- | implication is unknown, explains why
-      ImplicationUnknwon ImplicationInvalidReason
+      ImplicationUnknown ImplicationInvalidReason
     deriving stock (Generic, Show, Eq)
     deriving
         (FromJSON, ToJSON)
@@ -206,11 +206,11 @@ data ImplicationInvalidReason
         (FromJSON, ToJSON)
         via CustomJSON '[] ImplicationInvalidReason
 
-data ImplicationUnknwonReason = ImplicationConstraintSubsumptionUnknown KoreJson
+data ImplicationUnknownReason = ImplicationConstraintSubsumptionUnknown KoreJson
     deriving stock (Generic, Show, Eq)
     deriving
         (FromJSON, ToJSON)
-        via CustomJSON '[] ImplicationUnknwonReason
+        via CustomJSON '[] ImplicationUnknownReason
 
 data SatResult
     = Sat