diff options
| author | Pierre-Marie Pédrot | 2015-12-17 14:05:49 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-12-17 14:05:49 +0100 |
| commit | d83e8aceaca972f8997f208e46d257e69c2e352d (patch) | |
| tree | d5efe63774ddc8c134b7e50748f15a77e870f133 /test-suite/output | |
| parent | f24543a02db80e2c4ab3065564fabb9b7d485a2f (diff) | |
| parent | 04394d4f17bff1739930ddca5d31cb9bb031078b (diff) | |
Merge branch 'v8.5'
Diffstat (limited to 'test-suite/output')
| -rw-r--r-- | test-suite/output/Extraction_matchs_2413.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/Extraction_matchs_2413.out b/test-suite/output/Extraction_matchs_2413.out index 848abd0096..f738b0d091 100644 --- a/test-suite/output/Extraction_matchs_2413.out +++ b/test-suite/output/Extraction_matchs_2413.out @@ -4,7 +4,7 @@ let test1 b = b (** val test2 : bool -> bool **) -let test2 b = +let test2 _ = False (** val wrong_id : 'a1 hole -> 'a2 hole **) |