diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-07-05 10:25:16 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-07-05 10:25:16 +1000 |
| commit | 75854b6f0e73c55fa2dafc0d6b50fb23a96edfaf (patch) | |
| tree | 0b79705929a00a341ab82b888c007809f0cf3a13 /ProofGraphMain.hs | |
| parent | 60ba2362fd3c2c7a8d58c51f9010c0aefbfab3ad (diff) | |
Fixed bug in not detecting duplicate nodes in the graph
Diffstat (limited to 'ProofGraphMain.hs')
0 files changed, 0 insertions, 0 deletions