Fix the result type of writeArray

LeventErkok · Sep 16, 2024 · e9668be · e9668be
1 parent d40ee8c
commit e9668be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Core/Model.hs b/Data/SBV/Core/Model.hs
@@ -3261,7 +3261,7 @@ writeArray array key value
          g st = do arr    <- sbvToSV st array
                    keyVal <- sbvToSV st key
                    val    <- sbvToSV st value
-                   newExpr st kb (SBVApp WriteArray [arr, keyVal, val])
+                   newExpr st k (SBVApp WriteArray [arr, keyVal, val])
 
 -- | Using a lambda as an array.
 lambdaArray :: forall a b. (SymVal a, HasKind b) => (SBV a -> SBV b) -> SArray a b