From ef81889c1eccb08acc27d47c9df652541134e3db Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 6 Mar 2014 18:17:15 +1100 Subject: Getting remote and local repos sync'd --- Library/ProofGraph.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Library/ProofGraph.hs') 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 -- cgit