diff --git a/Makefile b/Makefile
index 421995c16aad426156382ad267fa67b5dee240c5..16ad0716d7e31a665c4b1aeb7bbae14a3a12e1e0 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)
 
diff --git a/miscSolver.ml b/MiscSolver.ml
similarity index 100%
rename from miscSolver.ml
rename to MiscSolver.ml
diff --git a/miscSolver.mli b/MiscSolver.mli
similarity index 100%
rename from miscSolver.mli
rename to MiscSolver.mli