diff options
Diffstat (limited to 'test-suite/bugs/opened/3753.v')
| -rw-r--r-- | test-suite/bugs/opened/3753.v | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test-suite/bugs/opened/3753.v b/test-suite/bugs/opened/3753.v deleted file mode 100644 index 05d77c83..00000000 --- a/test-suite/bugs/opened/3753.v +++ /dev/null @@ -1,4 +0,0 @@ -Axiom foo : Type -> Type. -Axiom bar : forall (T : Type), T -> foo T. -Arguments bar A x : rename. -Fail About bar. |