From 7212e6c4a742110138a268650a59a67ef28d0582 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 15 Dec 2015 21:15:42 +0100
Subject: Fix test suite after change in extraction.

---
 test-suite/output/Extraction_matchs_2413.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 **)
 
-- 
cgit v1.2.3