diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-22 04:31:10 +0000 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-22 04:31:10 +0000 |
commit | 0e9f8093c373c0abf2537b446c05a027f70c2c31 (patch) | |
tree | 596a8df53775076ac9c48db84493b1a5132c6f14 /src/proof/pdr/module.make | |
parent | 9d46d84b278acac3ca5983ddb7fbd41a9a4b926b (diff) | |
parent | fb2fbd70bd31eb08dd50c66788d5165697ca6925 (diff) | |
download | abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.tar.gz abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.tar.bz2 abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.zip |
Merged in ysho/abc (pull request #59)
added a new abstraction
Diffstat (limited to 'src/proof/pdr/module.make')
-rw-r--r-- | src/proof/pdr/module.make | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/pdr/module.make b/src/proof/pdr/module.make index 2967aeb8..4c177a21 100644 --- a/src/proof/pdr/module.make +++ b/src/proof/pdr/module.make @@ -5,4 +5,5 @@ SRC += src/proof/pdr/pdrCnf.c \ src/proof/pdr/pdrSat.c \ src/proof/pdr/pdrTsim.c \ src/proof/pdr/pdrTsim2.c \ - src/proof/pdr/pdrUtil.c + src/proof/pdr/pdrUtil.c \ + src/proof/pdr/pdrIncr.c |