From b63abc6b93f458bc7a2a16b45b8941a34c25cb03 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 14 Jul 2018 11:28:16 +0100
Subject: [build] Build Coq and plugins with `-strict-sequence`

Fixes #8067. This is becoming the default in many developments, so it
makes sense to require it too, both for Coq and for Plugins.
---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 18d6c1a5b7..9a4f2177f6 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -552,7 +552,7 @@ let find_fresh_name renaming (terms,termlists,binders,binderlists) avoid id =
 
 let is_var store pat =
   match DAst.get pat with
-  | PatVar na -> store na; true
+  | PatVar na -> ignore(store na); true
   | _ -> false
 
 let out_var pat =
-- 
cgit v1.2.3