Rename Directory to Directory_tree
authorSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 17:42:56 +0000 (12:42 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 17:42:56 +0000 (12:42 -0500)
dups.ml

diff --git a/dups.ml b/dups.ml
index e88d888..84c0707 100644 (file)
--- a/dups.ml
+++ b/dups.ml
@@ -35,7 +35,7 @@ end = struct
     )
 end
 
-module Directory : sig
+module Directory_tree : sig
   val find_files : string -> string Stream.t
 end = struct
   let find_files root =
@@ -78,7 +78,7 @@ let main input =
   let paths =
     match input with
     | Paths_on_stdin -> In_channel.lines stdin
-    | Root_path root -> Directory.find_files root
+    | Root_path root -> Directory_tree.find_files root
   in
   let paths_by_digest = Hashtbl.create 1_000_000 in
   let path_count = ref 0 in
This page took 0.018688 seconds and 4 git commands to generate.