diff options
Diffstat (limited to 'test-suite/typeclasses/deftwice.v')
-rw-r--r-- | test-suite/typeclasses/deftwice.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/typeclasses/deftwice.v b/test-suite/typeclasses/deftwice.v index 439782c9..13944770 100644 --- a/test-suite/typeclasses/deftwice.v +++ b/test-suite/typeclasses/deftwice.v @@ -6,4 +6,4 @@ Instance inhab_C : C Type := Inhab. Variable full : forall A (X : C A), forall x : A, c x. -Definition truc {A : Type} : Inhab A := (full _ _ _).
\ No newline at end of file +Definition truc {A : Type} : Inhab A := (full _ _ _). |