diff options
Diffstat (limited to 'Delete.hs')
-rw-r--r-- | Delete.hs | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,8 +1,8 @@ import System.Environment( getArgs ) import Text.Printf -import Parse -import ProofGraph -import WriteProof +import Library.Parse +import Library.ProofGraph +import Library.WriteProof import qualified Data.Graph.Inductive.Graph as Graph |