diff options
| author |  rustanleino <unknown> | 2009-07-30 00:59:52 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-07-30 00:59:52 +0000 |
| commit | ff05783d9067c4daad627d6c781881608ee4ae41 (patch) | |
| tree | fade1879faad596970ccd59e94e84991fc5a01b2 /Chalice/src/Resolver.scala | |
| parent | 80aac07a39329959ffbcb7863d1c42a58fecb762 (diff) | |
Made trigger more liberal for int_2_U U_2_int axiom.
Diffstat (limited to 'Chalice/src/Resolver.scala')
0 files changed, 0 insertions, 0 deletions