1 files changed, 3 insertions, 3 deletions
diff --git a/src/hls/IfConversion.v b/src/hls/IfConversion.v
index ce6149b..d29eeeb 100644
--- a/src/hls/IfConversion.v
+++ b/src/hls/IfConversion.v
@@ -235,15 +235,15 @@ Section TRANSF_PROGRAM.
 Variable A B V: Type.
 Variable transf: ident -> A -> B.
 
-Definition transform_program_globdef (idg: ident * globdef A V) : ident * globdef B V :=
+Definition transform_program_globdef' (idg: ident * globdef A V) : ident * globdef B V :=
   match idg with
   | (id, Gfun f) => (id, Gfun (transf id f))
   | (id, Gvar v) => (id, Gvar v)
   end.
 
-Definition transform_program (p: AST.program A V) : AST.program B V :=
+Definition transform_program' (p: AST.program A V) : AST.program B V :=
   mkprogram
-    (List.map transform_program_globdef p.(prog_defs))
+    (List.map transform_program_globdef' p.(prog_defs))
     p.(prog_public)
     p.(prog_main).