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/sexpr.h | |
parent | c0558a1625887f4761cfbad371e07af06a49b38b (diff) |
Fix to bug 211. ArithVar is now typedefed to uint32_t.
Diffstat (limited to 'src/util/sexpr.h')
0 files changed, 0 insertions, 0 deletions