diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 19:47:30 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 19:47:30 +0700 |
commit | 385cb73d32de7e7d18da68fffe6fd089cb7930b2 (patch) | |
tree | 031e7279433d432739559a3b9f26e2233201e3db /src/opt/sbd/module.make | |
parent | 4b20003e0cdec5d4d88ecf360c806e786272ab39 (diff) | |
download | abc-385cb73d32de7e7d18da68fffe6fd089cb7930b2.tar.gz abc-385cb73d32de7e7d18da68fffe6fd089cb7930b2.tar.bz2 abc-385cb73d32de7e7d18da68fffe6fd089cb7930b2.zip |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/module.make')
-rw-r--r-- | src/opt/sbd/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/sbd/module.make b/src/opt/sbd/module.make index 3bdc20b3..a9a6c3be 100644 --- a/src/opt/sbd/module.make +++ b/src/opt/sbd/module.make @@ -2,6 +2,7 @@ SRC += src/opt/sbd/sbd.c \ src/opt/sbd/sbdCnf.c \ src/opt/sbd/sbdCore.c \ src/opt/sbd/sbdCut.c \ + src/opt/sbd/sbdCut2.c \ src/opt/sbd/sbdLut.c \ src/opt/sbd/sbdSat.c \ src/opt/sbd/sbdWin.c |