diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-07-09 01:38:48 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-07-09 01:38:48 +0000 |
| commit | 878f71272c06cf605fb3d2f4e66eaea55aa32127 (patch) | |
| tree | 162ac5a74e14bae02ae74cec8f621174c22323e2 /test/regress/regress0/uf/euf_simp04.smt | |
| parent | 86f2a3e111137fecaf942050dfd7ade0c881d6eb (diff) | |
surprize surprize
Diffstat (limited to 'test/regress/regress0/uf/euf_simp04.smt')
0 files changed, 0 insertions, 0 deletions