-toplevel/metaAut.cmo: toplevel/meta.cmx lib/cps.cmx automath/aut.cmx \
- toplevel/metaAut.cmi
-toplevel/metaAut.cmx: toplevel/meta.cmx lib/cps.cmx automath/aut.cmx \
- toplevel/metaAut.cmi
+toplevel/metaAut.cmo: lib/nUri.cmi toplevel/meta.cmx lib/cps.cmx \
+ automath/aut.cmx toplevel/metaAut.cmi
+toplevel/metaAut.cmx: lib/nUri.cmx toplevel/meta.cmx lib/cps.cmx \
+ automath/aut.cmx toplevel/metaAut.cmi