diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-15 16:39:24 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-15 16:39:24 +0200 |
| commit | dffd1a75c7ecf8870935f48c8aff2a9e750be4aa (patch) | |
| tree | 0f8f0efaf8d23a3ed69dbc3d48ef68a8d141ef1a /test-suite/output/PrintAssumptions.out | |
| parent | 150cbcc8f4a6e011a089ffd1d6126058ef6e107d (diff) | |
Test for bug #4269.
Diffstat (limited to 'test-suite/output/PrintAssumptions.out')
| -rw-r--r-- | test-suite/output/PrintAssumptions.out | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test-suite/output/PrintAssumptions.out b/test-suite/output/PrintAssumptions.out index 23f33081b..66458543a 100644 --- a/test-suite/output/PrintAssumptions.out +++ b/test-suite/output/PrintAssumptions.out @@ -16,3 +16,5 @@ extensionality : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Closed under the global context Closed under the global context +Axioms: +M.foo : False |