virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
- ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi \
- ../lib/kernel_task_struct.cmi
+ ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi ../lib/kernel.cmi
virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
- ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx \
- ../lib/kernel_task_struct.cmx
+ ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx ../lib/kernel.cmx