diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-03-06 18:17:15 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-03-06 18:17:15 +1100 |
commit | ef81889c1eccb08acc27d47c9df652541134e3db (patch) | |
tree | ce3d1350cf8ad5256b8cb94a0ce6f6df5dce61c3 /Library/ProofGraph.hs | |
parent | 93dcd8b68c0b9d3ecb5cb2352b11c3a9b362f1d9 (diff) |
Getting remote and local repos sync'd
Diffstat (limited to 'Library/ProofGraph.hs')
-rw-r--r-- | Library/ProofGraph.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Library/ProofGraph.hs b/Library/ProofGraph.hs index 621b962..217e40c 100644 --- a/Library/ProofGraph.hs +++ b/Library/ProofGraph.hs @@ -4,7 +4,9 @@ module Library.ProofGraph ( checkDupe, nodeEquals, - resolveNodeClash + resolveNodeClash, + + argMap ) where |