diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-22 17:27:32 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-22 17:27:32 +0700 |
commit | b56a532682e34ae440bc6ffa939e82d06cf06e62 (patch) | |
tree | 84807a449a344bd79d8ba2b428011e9ad29c250a /src/proof/acec/module.make | |
parent | cf5d4ad07f87e936a114afca483ed66ffb1a2120 (diff) | |
download | abc-b56a532682e34ae440bc6ffa939e82d06cf06e62.tar.gz abc-b56a532682e34ae440bc6ffa939e82d06cf06e62.tar.bz2 abc-b56a532682e34ae440bc6ffa939e82d06cf06e62.zip |
Several changes in arithmetic circuit manipulation.
Diffstat (limited to 'src/proof/acec/module.make')
-rw-r--r-- | src/proof/acec/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/acec/module.make b/src/proof/acec/module.make index df6db695..4003695e 100644 --- a/src/proof/acec/module.make +++ b/src/proof/acec/module.make @@ -1,6 +1,7 @@ SRC += src/proof/acec/acecCl.c \ src/proof/acec/acecCore.c \ src/proof/acec/acecCo.c \ + src/proof/acec/acecBo.c \ src/proof/acec/acecRe.c \ src/proof/acec/acecPa.c \ src/proof/acec/acecPo.c \ |