diff options
Diffstat (limited to 'test-suite/success/refine.v')
| -rw-r--r-- | test-suite/success/refine.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test-suite/success/refine.v b/test-suite/success/refine.v index 4d743a6d7..8b4f41055 100644 --- a/test-suite/success/refine.v +++ b/test-suite/success/refine.v @@ -67,9 +67,9 @@ Abort. (* Submitted by Jacek Chrzaszcz (bug #1102) *) -(* le problème a été résolu ici par normalisation des evars présentes - dans les types d'evars, mais le problème reste a priori ouvert dans - le cas plus général d'evars non instanciées dans les types d'autres +(* le problème a été résolu ici par normalisation des evars présentes + dans les types d'evars, mais le problème reste a priori ouvert dans + le cas plus général d'evars non instanciées dans les types d'autres evars *) Goal exists n:nat, n=n. |