From 08bff52a6ac6a5fc3ba7a620d03d821d55a8d303 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 21 Jul 2015 17:52:38 -0700
Subject: Renaming Cba into Bac.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9296bd20..eace054e 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ PROG := abc
 MODULES := \
 	$(wildcard src/ext*) \
 	src/base/abc src/base/abci src/base/cmd src/base/io src/base/main \
-	src/base/ver src/base/wlc src/base/cba src/base/pla src/base/test \
+	src/base/ver src/base/wlc src/base/bac src/base/cba src/base/pla src/base/test \
 	src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/parse \
 	src/bdd/reo src/bdd/cas \
 	src/map/mapper src/map/mio src/map/super src/map/if \
-- 
cgit v1.2.3