From f55434e7410a4c41c31145f194950c410bec0253 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 13 Apr 2017 17:54:55 +0200
Subject: Fix compilation with camlp5 transitional mode.

It was failing after 1d0eb5d4d6fea.
---
 grammar/argextend.mlp | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'grammar/argextend.mlp')

diff --git a/grammar/argextend.mlp b/grammar/argextend.mlp
index aaf3afe43..d00ee4e5d 100644
--- a/grammar/argextend.mlp
+++ b/grammar/argextend.mlp
@@ -11,8 +11,14 @@ open Q_util
 let loc = Ploc.dummy
 let default_loc = <:expr< Loc.ghost >>
 
+IFDEF STRICT THEN
+  let ploc_vala x = Ploc.VaVal x
+ELSE
+  let ploc_vala x = x
+END
+
 let declare_str_items loc l =
-  MLast.StDcl (loc, Ploc.VaVal l) (* correspond to <:str_item< declare $list:l'$ end >> *)
+  MLast.StDcl (loc, ploc_vala l) (* correspond to <:str_item< declare $list:l'$ end >> *)
 
 let mk_extraarg loc s = <:expr< $lid:"wit_"^s$ >>
 
-- 
cgit v1.2.3