rebuilt

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 6045cb9b92d51d459ec5e4113c20d195778d389c..bbc64970071b8f4b1e4379f27aeba55501fc7532 100644 (file)
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -39,5 +39,7 @@ gTopLevel.cmx: chosenTermEditor.cmx chosenTransformer.cmx \
     logicalOperations.cmx proofEngine.cmx termEditor.cmx termViewer.cmx 
 regtest.cmo: batchParser.cmi 
 regtest.cmx: batchParser.cmx 
+testlibrary.cmo: batchParser.cmi 
+testlibrary.cmx: batchParser.cmx 
 batchParser.cmo: disambiguatingParser.cmi batchParser.cmi 
 batchParser.cmx: disambiguatingParser.cmx batchParser.cmi