prefs.cmo: safelist.cmi uarg.cmi util.cmi prefs.cmi 
prefs.cmx: safelist.cmx uarg.cmx util.cmx prefs.cmi 
rx.cmo: rx.cmi 
rx.cmx: rx.cmi 
safelist.cmo: safelist.cmi 
safelist.cmx: safelist.cmi 
trace.cmo: prefs.cmi safelist.cmi util.cmi trace.cmi 
trace.cmx: prefs.cmx safelist.cmx util.cmx trace.cmi 
uarg.cmo: safelist.cmi util.cmi uarg.cmi 
uarg.cmx: safelist.cmx util.cmx uarg.cmi 
uprintf.cmo: uprintf.cmi 
uprintf.cmx: uprintf.cmi 
util.cmo: safelist.cmi uprintf.cmi util.cmi 
util.cmx: safelist.cmx uprintf.cmx util.cmi 
prefs.cmi: util.cmi 
trace.cmi: prefs.cmi 
