Version abc90215

gwsu · Feb 15, 2009 · 0871bff · 0871bff
1 parent f936cc0
commit 0871bff
Show file tree

Hide file tree

Showing 614 changed files with 23,575 additions and 10,668 deletions.
diff --git a/Makefile b/Makefile
@@ -26,7 +26,7 @@ MODULES := \
 	src/aig/bdc src/aig/bar src/aig/ntl src/aig/nwk \
 	src/aig/mfx src/aig/tim src/aig/saig src/aig/bbr \
 	src/aig/int src/aig/dch src/aig/ssw src/aig/cgt \
-	src/aig/cec src/aig/fsim
+	src/aig/cec src/aig/gia
 
 default: $(PROG)