Renaming Cba into Bac.

This commit is contained in:
Alan Mishchenko 2015-07-21 17:52:38 -07:00
parent 91b62b3bb8
commit 08bff52a6a
1 changed files with 1 additions and 1 deletions

View File

@ -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 \