rebase error

Gbury · Aug 31, 2024 · 23c32dc · 23c32dc
1 parent fb42890
commit 23c32dc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/loop/export.ml b/src/loop/export.ml
@@ -514,7 +514,7 @@ module Dummy
 
   let init fmt = fmt
 
-  let print _ fmt _ =
+  let print st fmt _ =
     Format.fprintf fmt "statement@.";
     st, fmt
 
@@ -642,7 +642,7 @@ module Make
       let (module P) = printer in
       let st, _ =
         List.fold_left (fun (st, acc) stmt ->
-            let acc = P.print st acc stmt in
+            let st, acc = P.print st acc stmt in
             let st = State.set state (Export { acc; printer; }) st in
             st, acc
           ) (st, acc) l