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

diff --git a/matita/tests/push_pop_status_aux2.ma b/matita/tests/push_pop_status_aux2.ma
new file mode 100644
index 000000000..4799d5ba1
--- /dev/null
+++ b/matita/tests/push_pop_status_aux2.ma
@@ -0,0 +1,2 @@
+axiom c : Type.
+axiom x : c === c.