callbacks were taking in input a status bu were not using them.

[helm.git] / helm / software / matita / tests / depends

diff --git a/helm/software/matita/tests/depends b/helm/software/matita/tests/depends
index 190d7bf6dc2bbb536b5b32fa7cce9680c6d25a6f..f4e143981ab699c411755762954bcf153e7d476d 100644 (file)
--- a/helm/software/matita/tests/depends
+++ b/helm/software/matita/tests/depends
@@ -332,6 +332,7 @@ TPTP/Veloci/LCL115-2.p.ma logic/equality.ma
 absurd.ma coq.ma
 TPTP/Veloci/GRP182-4.p.ma logic/equality.ma
 destruct.ma datatypes/constructors.ma logic/equality.ma nat/nat.ma
+foproof.ma ng_pts.ma
 TPTP/Veloci/COL064-5.p.ma logic/equality.ma
 TPTP/Veloci/GRP513-1.p.ma logic/equality.ma
 TPTP/Veloci/LAT033-1.p.ma logic/equality.ma