diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-02-29 17:49:44 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-02-29 17:49:44 +0000 |
| commit | 39af3d2f0391aba90a1941433dfd57e37218f3c2 (patch) | |
| tree | 5a6dc0dd2f3b64a7cd924de92aac0a0f37888b2c /test/regress/regress0/bug310.cvc | |
| parent | eefe0b63e564320eb135eb66d6c02c9dc6e9e8de (diff) | |
consistency in how the Dump output stream is used
Diffstat (limited to 'test/regress/regress0/bug310.cvc')
0 files changed, 0 insertions, 0 deletions