X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2Fpush_pop_status_aux1.ma;fp=matita%2Ftests%2Fpush_pop_status_aux1.ma;h=80e9a2f635c68ad48b020334f334d681a3251f17;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=0000000000000000000000000000000000000000;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/matita/tests/push_pop_status_aux1.ma b/matita/tests/push_pop_status_aux1.ma
new file mode 100644
index 000000000..80e9a2f63
--- /dev/null
+++ b/matita/tests/push_pop_status_aux1.ma
@@ -0,0 +1 @@
+axiom c : Type.