From c11bd7b181d6e53910dc8d39c5360f35c7b24674 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Thu, 31 Aug 2017 17:28:46 +0200
Subject: Cooking.cook_constant: remove unused env argument.

Unused since d95306323 (remove template polymorphic definitions).
---
 kernel/cooking.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'kernel/cooking.mli')

diff --git a/kernel/cooking.mli b/kernel/cooking.mli
index 4c254d2ea..6ebe691b8 100644
--- a/kernel/cooking.mli
+++ b/kernel/cooking.mli
@@ -10,7 +10,6 @@
 
 open Constr
 open Declarations
-open Environ
 
 (** {6 Cooking the constants. } *)
 
@@ -26,7 +25,7 @@ type result = {
   cook_context : Constr.named_context option;
 }
 
-val cook_constant : hcons:bool -> env -> recipe -> result
+val cook_constant : hcons:bool -> recipe -> result
 val cook_constr : Opaqueproof.cooking_info -> constr -> constr
 
 (** {6 Utility functions used in module [Discharge]. } *)
-- 
cgit v1.2.3