From 2f2b7629cb5706f63e80247b9e0079d4cf37949f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Mon, 13 Jan 2014 11:06:17 +0100
Subject: [PATCH] Rename hashConsing -> HashConsing
---
hashConsing.ml => HashConsing.ml | 0
hashConsing.mli => HashConsing.mli | 0
Makefile | 4 ++--
3 files changed, 2 insertions(+), 2 deletions(-)
rename hashConsing.ml => HashConsing.ml (100%)
rename hashConsing.mli => HashConsing.mli (100%)
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 16ad071..7592426 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)
--
GitLab