(fun file ->
let deps = Hashtbl.find_all include_deps file in
let deps = List.fast_sort Pervasives.compare deps in
- let deps = MatitaMisc.list_uniq deps in
+ let deps = HExtlib.list_uniq deps in
let deps = file :: deps in
let moo = MatitaMisc.obj_file_of_script file in
Printf.printf "%s: %s\n" moo (String.concat " " deps);