diff options
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 |