chore(tests/lean/print_ax2): remove duplicate and broken test

2017-08-06 10:33:33 +02:00 · 2017-08-06 10:33:33 +02:00 · b50597228b
commit b50597228b
parent e2717ec2c5
2 changed files with 0 additions and 3 deletions
--- a/tests/lean/print_ax2.lean
+++ b/tests/lean/print_ax2.lean
@ -1 +0,0 @@
-open subtype print axioms
--- a/tests/lean/print_ax2.lean.expected.out
+++ b/tests/lean/print_ax2.lean.expected.out
@ -1,2 +0,0 @@
-print_ax2.lean:1:13: error: invalid namespace name 'print'
-print_ax2.lean:1:25: error: invalid variables/constants/axioms declaration, ':' expected