From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Feb 2004 13:31:31 +0000 (+0000)
Subject: added freshNameGenerator
X-Git-Tag: V_0_2_3~45
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=59777aef7eef8a174f2c7de425676c120e46d978;p=helm.git

added freshNameGenerator
---

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 =