diff options
| author | Gaëtan Gilbert | 2020-03-31 15:36:57 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-18 11:17:08 +0200 |
| commit | 2d6dd66cf4e99e383da4af6a80f06b3d82395102 (patch) | |
| tree | 977872d4e7058cfdd27e474634f6a7b6003496d6 /test-suite | |
| parent | b9591f15d75886456ff28984934de73d6a516af5 (diff) | |
Improve spacing in Print Assumptions
cf "If this is implemented, long names might cause a printing
problem:" in #11852
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/output/PrintAssumptions.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test-suite/output/PrintAssumptions.out b/test-suite/output/PrintAssumptions.out index 190c34262f..ca4858d7a7 100644 --- a/test-suite/output/PrintAssumptions.out +++ b/test-suite/output/PrintAssumptions.out @@ -7,17 +7,17 @@ bli : Type Axioms: bli : Type Axioms: -extensionality : forall (P Q : Type) (f g : P -> Q), - (forall x : P, f x = g x) -> f = g +extensionality + : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: -extensionality : forall (P Q : Type) (f g : P -> Q), - (forall x : P, f x = g x) -> f = g +extensionality + : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: -extensionality : forall (P Q : Type) (f g : P -> Q), - (forall x : P, f x = g x) -> f = g +extensionality + : forall (P Q : Type) (f g : P -> Q), (forall x : P, f x = g x) -> f = g Axioms: -extensionality : forall (P Q : Type) (f g : P -> Q), - (forall x : P, f x = g x) -> f = g +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: |