]> matita.cs.unibo.it Git - helm.git/blobdiff - components/extlib/.depend
fixed some pp stuff
[helm.git] / components / extlib / .depend
index e2c9fc2b880185f06badbb75ffefea721ffe3b58..82a9d39d62fd592fa7f016d1af2966a92b8e39a6 100644 (file)
@@ -10,3 +10,5 @@ hLog.cmo: hLog.cmi
 hLog.cmx: hLog.cmi 
 trie.cmo: trie.cmi 
 trie.cmx: trie.cmi 
+refCounter.cmo: refCounter.cmi 
+refCounter.cmx: refCounter.cmi