diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-07-28 02:57:22 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-07-28 02:57:22 +0000 |
| commit | d2787f41e72184fbdf2619d3c0466bed9b6211be (patch) | |
| tree | 9c770b482ef393b6d4974b45660bc9927553dab5 /src/theory/builtin | |
| parent | 01bd928fa45459114ae4f5effcc8fbcf91bef7e8 (diff) | |
fixed theory engine white test for new (old) theoryOf() behavior (re: bug 188)
Diffstat (limited to 'src/theory/builtin')
0 files changed, 0 insertions, 0 deletions