-discrimination_tree.cmo : \
- trie.cmi \
- hExtlib.cmi \
- discrimination_tree.cmi
-discrimination_tree.cmx : \
- trie.cmx \
- hExtlib.cmx \
- discrimination_tree.cmi
+discrimination_tree.cmo : trie.cmi hExtlib.cmi discrimination_tree.cmi
+discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi