| commit | b329a11687c46a7aff5e701604cc91d7a5698cc8 | |
| author | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 20:08:28 +0000 (7 16:08 -0400) | ||
| committer | Dionysus Blazakis <dion@semantiscope.com> | |
| Tue, 7 Oct 2008 20:08:28 +0000 (7 16:08 -0400) | ||
| tree | fe3426479abd17831beea61c0eb1b6727c489831 | treesnapshot (tar.gz zip) |
| parent | f5013faf8ce39883a7c5d4252d5e0cfcc50e1da0 | commitdiff |
Use a map for the variable bindings, cut down accesses.
| DPLL.lhs | diffblobblamehistory |