Update

INRIA · Oct 30, 2024 · f5c9a76 · f5c9a76
1 parent ca32f79
commit f5c9a76
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/src/compiler/main/compiler.ml b/src/compiler/main/compiler.ml
@@ -162,7 +162,7 @@ let compile modname filename =
     let p = do_step "Mark functions calls to be inlined. See below:"
 	      Printer.program Markfunctions.program p in
 
-    let _ = Zelus.pp_program p in
+    let _ = Zelus.show_program in
 
     (* source-to-source transformations *)
 

diff --git a/src/global/zelus.ml b/src/global/zelus.ml
@@ -488,7 +488,4 @@ and ('info, 'ienv) implementation_desc =
 type ('info, 'ienv) program = 
   { p_impl_list : ('info, 'ienv) implementation list;
     p_index : Ident.num }
-    [@@deriving show]
-
-let f = show_program;;