Fix monadic lifter to preserve err type

Signed-off-by: Sacha Ayoun <[email protected]>
GillianPlatform · Mar 31, 2024 · 5ab38ac · 5ab38ac
1 parent adb44df
commit 5ab38ac
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/GillianCore/monadic/MonadicSMemory.ml b/GillianCore/monadic/MonadicSMemory.ml
@@ -71,7 +71,10 @@ end
 
 (* FIXME: Lift should not be necessary, the monad should just match !!! *)
 module Lift (MSM : S) :
-  SMemory.S with type t = MSM.t and type init_data = MSM.init_data = struct
+  SMemory.S
+    with type t = MSM.t
+     and type err_t = MSM.err_t
+     and type init_data = MSM.init_data = struct
   include MSM
 
   let assertions ?to_keep t =