diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-11-17 07:22:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-11-17 07:22:35 +0000 |
commit | b77f44a6975e6bab468c774d7b34c23e84371ff1 (patch) | |
tree | 2673500e6d0ec64686210f1c572b81a05cbe2707 /.gitignore | |
parent | 21102d14767364c222f1e7fe13de1f229d541dbc (diff) |
fix improper CongruenceClosureWhite test by merging from a uf branch; fixes the nightly test failure
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions