diff --git a/hashConsing.ml b/HashConsing.ml
similarity index 100%
rename from hashConsing.ml
rename to HashConsing.ml
diff --git a/hashConsing.mli b/HashConsing.mli
similarity index 100%
rename from hashConsing.mli
rename to HashConsing.mli
diff --git a/Makefile b/Makefile
index 16ad0716d7e31a665c4b1aeb7bbae14a3a12e1e0..7592426310bfc69da450f4a3f10e0a4456968541 100644
--- a/Makefile
+++ b/Makefile
@@ -64,7 +64,7 @@ minisat.cmxa: minisat.cmx minisat_stub.o
 	$(OCAMLOPT) -a -o minisat.cmxa minisat.cmx minisat_stub.o -cclib -lminisat
 
 COALG_OBJS := minisat$(SUFFIXLIB) \
-              genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
+              genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
               ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
               CoAlgFormula$(SUFFIX) CoAlgMisc$(SUFFIX) CoAlgLogics$(SUFFIX) CoAlgReasoner$(SUFFIX)
 
@@ -75,7 +75,7 @@ coalgcompare: $(COALG_OBJS) coalgcompare$(SUFFIX)
 	$(OC) -o coalgcompare $(FLAGS) $(LIBS) $^
 
 
-ALC_OBJS := genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) hashConsing$(SUFFIX) \
+ALC_OBJS := genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
             ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) \
             ALCTree$(SUFFIX) ALCGraph$(SUFFIX) ALCGraphStates$(SUFFIX)