diff --git a/abc.rc b/abc.rc index 895d92a68..9a062332e 100644 --- a/abc.rc +++ b/abc.rc @@ -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 028e9fe4b..8a4d34f5b 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