gTopLevel.cmx: chosenTermEditor.cmx chosenTransformer.cmx \
disambiguatingParser.cmx hbugs.cmx helmGtkLogger.cmx invokeTactics.cmx \
logicalOperations.cmx proofEngine.cmx termEditor.cmx termViewer.cmx
-regtest.cmo: batchParser.cmi
-regtest.cmx: batchParser.cmx
+regtest.cmo: batchParser.cmi disambiguatingParser.cmi
+regtest.cmx: batchParser.cmx disambiguatingParser.cmx
testlibrary.cmo: batchParser.cmi
testlibrary.cmx: batchParser.cmx
batchParser.cmo: disambiguatingParser.cmi batchParser.cmi
batchParser.cmx: disambiguatingParser.cmx batchParser.cmi
+batchParser.cmi: disambiguatingParser.cmi