diff options
author | Tim King <taking@cs.nyu.edu> | 2010-10-14 18:26:42 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-10-14 18:26:42 +0000 |
commit | bfdb4be24bfa474e6036a993e5afac16e77b4d2a (patch) | |
tree | 8fef3c3f29fa082ba1c3421a7de88555f49ff1d9 /src/util | |
parent | 1e9fcef592fa5c841e1430446659c8d33fdcc3e2 (diff) |
Fixed computation of infinitesimals for arithmetic model generation.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions