X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2Fdepends;fp=matita%2Ftests%2Fdepends;h=200a4088c2e22d117774c0a1fddbbc883f7262ef;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=9ae9703ec904e14c140256156d72404ec4c2057c;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/matita/tests/depends b/matita/tests/depends
index 9ae9703ec..200a4088c 100644
--- a/matita/tests/depends
+++ b/matita/tests/depends
@@ -29,10 +29,13 @@ coercions_open.ma logic/equality.ma nat/nat.ma
 match_inference.ma 
 hard_refine.ma coq.ma
 fix_betareduction.ma coq.ma
+push_pop_status_aux1.ma 
+push_pop_status.ma push_pop_status_aux1.ma
 decl.ma nat/orders.ma nat/times.ma
 pullback.ma 
 mysql_escaping.ma 
 rewrite.ma coq.ma
+push_pop_status_aux2.ma 
 injection.ma coq.ma
 contradiction.ma coq.ma
 fold.ma coq.ma