diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-06 17:52:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-06 17:52:47 +0000 |
commit | 51488222401441e67366a1286ce470f64de6e38d (patch) | |
tree | eac3a97b76a57ee02c0e3a48735057993ad56362 /src/theory/arith | |
parent | 391cfbd3f8e71fd4e9179b983551c5baf7122a94 (diff) |
also remove now-incorrect comment from makefile
Diffstat (limited to 'src/theory/arith')
0 files changed, 0 insertions, 0 deletions