diff options
Diffstat (limited to 'test-suite/typeclasses')
| -rw-r--r-- | test-suite/typeclasses/NewSetoid.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/typeclasses/NewSetoid.v b/test-suite/typeclasses/NewSetoid.v index 3fdcce6f7..22ac77a68 100644 --- a/test-suite/typeclasses/NewSetoid.v +++ b/test-suite/typeclasses/NewSetoid.v @@ -8,7 +8,7 @@ (* Certified Haskell Prelude. * Author: Matthieu Sozeau - * Institution: LRI, CNRS UMR 8623 - Universit�copyright Paris Sud + * Institution: LRI, CNRS UMR 8623 - UniversitÃcopyright Paris Sud * 91405 Orsay, France *) Require Import Coq.Program.Program. |