diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 08:01:00 -0700 |
| commit | cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef (patch) | |
| tree | ae99229ba649fe84e3f1a895570c38601b4b68e4 /src/aig/dch/module.make | |
| parent | 582a059e34d913ed52dfc18049e407055ebd7879 (diff) | |
| download | abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.tar.gz abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.tar.bz2 abc-cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef.zip | |
Version abc80802
Diffstat (limited to 'src/aig/dch/module.make')
| -rw-r--r-- | src/aig/dch/module.make | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/aig/dch/module.make b/src/aig/dch/module.make index ebe1ba7f..08d5a555 100644 --- a/src/aig/dch/module.make +++ b/src/aig/dch/module.make @@ -1,5 +1,9 @@ SRC += src/aig/dch/dchAig.c \ + src/aig/dch/dchChoice.c \ + src/aig/dch/dchClass.c \ + src/aig/dch/dchCnf.c \ src/aig/dch/dchCore.c \ src/aig/dch/dchMan.c \ src/aig/dch/dchSat.c \ - src/aig/dch/dchSim.c + src/aig/dch/dchSim.c \ + src/aig/dch/dchSweep.c |