From 59777aef7eef8a174f2c7de425676c120e46d978 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Feb 2004 13:31:31 +0000
Subject: [PATCH] added freshNameGenerator

---
 helm/ocaml/cic_unification/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/ocaml/cic_unification/Makefile b/helm/ocaml/cic_unification/Makefile
index a0bea2edd..15086ba80 100644
--- a/helm/ocaml/cic_unification/Makefile
+++ b/helm/ocaml/cic_unification/Makefile
@@ -6,6 +6,7 @@ INTERFACE_FILES = \
 	cicMkImplicit.ml \
 	cicMetaSubst.mli \
 	cicUnification.mli \
+	freshNamesGenerator.mli \
 	cicRefine.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
-- 
2.39.2