diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-10-04 01:19:43 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-10-04 01:19:43 +0000 |
| commit | 738114852c81e7203fda105d5386dc26187fcb87 (patch) | |
| tree | 90d2d41dc0c7916ec164d97cfd437e0afa76375e /src/util/integer_cln_imp.h | |
| parent | c0558a1625887f4761cfbad371e07af06a49b38b (diff) | |
Fix to bug 211. ArithVar is now typedefed to uint32_t.
Diffstat (limited to 'src/util/integer_cln_imp.h')
0 files changed, 0 insertions, 0 deletions