diff options
Diffstat (limited to 'src/files.ml')
| -rw-r--r-- | src/files.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/files.ml b/src/files.ml index eb603d8..9999519 100644 --- a/src/files.ml +++ b/src/files.ml @@ -366,7 +366,6 @@ let rec deleteSpuriousChildrenRec fspathTo pathTo archChildren children = () let deleteSpuriousChildrenLocal (_, (fspathTo, pathTo, archChildren)) = -List.iter (fun nm -> Format.eprintf "%s@." (Name.toString nm)) archChildren; deleteSpuriousChildrenRec fspathTo pathTo archChildren (List.sort Name.compare (Os.childrenOf fspathTo pathTo)); |