From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 7 Feb 2004 10:32:16 +0000 (+0000)
Subject: rebuilt
X-Git-Tag: V_0_2_3~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=140f8132e436a1e964a52b0b044fce163147491c;p=helm.git

rebuilt
---

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index 6045cb9b9..bbc649700 100644
--- 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