From 0d06d69ffc0436ed326bf3e4c684dc17a4d85dde Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 30 Oct 2016 12:43:46 +0100
Subject: Fix spurious OCaml Warning 56 in TACTIC EXTEND macros.

---
 grammar/tacextend.mlp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammar')

diff --git a/grammar/tacextend.mlp b/grammar/tacextend.mlp
index a1b3f4f25..683a7e2f7 100644
--- a/grammar/tacextend.mlp
+++ b/grammar/tacextend.mlp
@@ -48,7 +48,7 @@ let make_fun_clauses loc s l =
   let map c = GramCompat.make_fun loc [make_clause c] in
   mlexpr_of_list map l
 
-let get_argt e = <:expr< match $e$ with [ Genarg.ExtraArg tag -> tag | _ -> assert False ] >>
+let get_argt e = <:expr< (fun e -> match e with [ Genarg.ExtraArg tag -> tag | _ -> assert False ]) $e$ >>
 
 let rec mlexpr_of_symbol = function
 | Ulist1 s -> <:expr< Extend.Ulist1 $mlexpr_of_symbol s$ >>
-- 
cgit v1.2.3