More kerneldb.
[virt-mem.git] / ps / .depend
index 11d70ae..c170c41 100644 (file)
@@ -1,6 +1,6 @@
 virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
-    ../lib/virt_mem_mmap.cmi ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi \
+    ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi \
     ../lib/kernel_task_struct.cmi 
 virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
-    ../lib/virt_mem_mmap.cmx ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx \
+    ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx \
     ../lib/kernel_task_struct.cmx