From 45ac4ddb05257ae1fd8105a526e89e2ea0221d91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Mon, 13 Jan 2014 09:05:46 +0100
Subject: [PATCH] Rename miscSolver -> MiscSolver
---
Makefile | 4 ++--
miscSolver.ml => MiscSolver.ml | 0
miscSolver.mli => MiscSolver.mli | 0
3 files changed, 2 insertions(+), 2 deletions(-)
rename miscSolver.ml => MiscSolver.ml (100%)
rename miscSolver.mli => MiscSolver.mli (100%)
diff --git a/Makefile b/Makefile
index 421995c..16ad071 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
--
GitLab