From 64a6ac3759b5d0ea635ff284606541b05c696996 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 6 Sep 2017 22:47:44 +0200
Subject: Using higher-order representation for closures.

---
 src/tac2intern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2intern.ml')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index d1a3e13cdb..2dcd8b8da3 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -654,7 +654,7 @@ let rec intern_rec env (loc, e) = match e with
     let sch = Id.Map.find id env.env_var in
     (GTacVar id, fresh_mix_type_scheme env sch)
   | ArgArg (TacConstant kn) ->
-    let { Tac2env.gdata_type = sch }, _ =
+    let { Tac2env.gdata_type = sch } =
       try Tac2env.interp_global kn
       with Not_found ->
         CErrors.anomaly (str "Missing hardwired primitive " ++ KerName.print kn)
-- 
cgit v1.2.3