diff options
-rw-r--r-- | abc.rc | 2 | ||||
-rw-r--r-- | src/aig/llb/module.make | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -21,7 +21,7 @@ set gnuplotwin wgnuplot.exe set gnuplotunix gnuplot # Niklas Een's commands -load_plugin C:\_projects\abc\_TEST\bip\bip_2010-10-19.exe "BIP" +load_plugin C:\_projects\abc\_TEST\bip\bip_2011-04-15.exe "BIP" # standard aliases alias b balance diff --git a/src/aig/llb/module.make b/src/aig/llb/module.make index 028e9fe4..8a4d34f5 100644 --- a/src/aig/llb/module.make +++ b/src/aig/llb/module.make @@ -17,5 +17,6 @@ SRC += src/aig/llb/llb.c \ src/aig/llb/llb2Image.c \ src/aig/llb/llb3Image.c \ src/aig/llb/llb3Nonlin.c \ + src/aig/llb/llb4Cluster.c \ src/aig/llb/llb4Image.c \ src/aig/llb/llb4Nonlin.c |