From 6638e20610ebf0a52abe2fb2cc2f8b2c0343dec9 Mon Sep 17 00:00:00 2001
From: khooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 10 Feb 2011 01:58:51 +0000
Subject: [PATCH] Temporarily rename CVC.* to cvclib.*; to be renamed in the
 next patch to cvc.* (workaround to handle case-only renames).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1137 e59a4935-1847-0410-ae03-e826735625c1
---
 src/parser/Makefile                | 8 ++++----
 src/parser/{CVC.lex => cvclib.lex} | 0
 src/parser/{CVC.y => cvclib.y}     | 0
 3 files changed, 4 insertions(+), 4 deletions(-)
 rename src/parser/{CVC.lex => cvclib.lex} (100%)
 rename src/parser/{CVC.y => cvclib.y} (100%)

diff --git a/src/parser/Makefile b/src/parser/Makefile
index 9e2fe1c..f2f7053 100644
--- a/src/parser/Makefile
+++ b/src/parser/Makefile
@@ -13,15 +13,15 @@ libparser.a: $(OBJS)
 	$(RM) $@
 	$(AR) qcs $@ $^
 
-lexCVC.cpp:	CVC.lex parseCVC_defs.h ../AST/AST.h
-		$(LEX)  -olexCVC.cpp -Pcvc CVC.lex
+lexCVC.cpp:	cvclib.lex parseCVC_defs.h ../AST/AST.h
+		$(LEX)  -olexCVC.cpp -Pcvc cvclib.lex
 
 #For rules with multiple targets. Make runs the rule once for each
 #target.  These rules are "pattern rules" which only run once (rather
 #than twice).
 
-parseCV%_defs.h parseCV%.cpp:	CVC.y
-		$(YACC) -o cvc.tab.c -p cvc CVC.y
+parseCV%_defs.h parseCV%.cpp:	cvclib.y
+		$(YACC) -o cvc.tab.c -p cvc cvclib.y
 		@cp  cvc.tab.c parseCVC.cpp
 		@cp  cvc.tab.h parseCVC_defs.h
 
diff --git a/src/parser/CVC.lex b/src/parser/cvclib.lex
similarity index 100%
rename from src/parser/CVC.lex
rename to src/parser/cvclib.lex
diff --git a/src/parser/CVC.y b/src/parser/cvclib.y
similarity index 100%
rename from src/parser/CVC.y
rename to src/parser/cvclib.y
-- 
2.47.3