diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-02-07 16:14:17 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-02-07 16:14:17 +0000 |
| commit | 69f9580ef8bb66e786bc9fada2c094c5f6f16f6a (patch) | |
| tree | cc2ad7cb89168ad731f4b20acdfef54bb422c277 /test/regress/regress0/arith/integers/arith-int-007.cvc | |
| parent | 2e086bd1c7d4352122b62ff5c975dc1c80fd018b (diff) | |
fixing some missing stuff
Diffstat (limited to 'test/regress/regress0/arith/integers/arith-int-007.cvc')
0 files changed, 0 insertions, 0 deletions