From 98de3a7bed8db2c5ce2cb66a76960c1369234b67 Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 30 Oct 2006 16:53:43 +0000
Subject: dependences

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9320 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/cooking.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/cooking.ml b/kernel/cooking.ml
index e6d7613b00..7751e5bf6e 100644
--- a/kernel/cooking.ml
+++ b/kernel/cooking.ml
@@ -16,7 +16,6 @@ open Sign
 open Declarations
 open Environ
 open Reduction
-open Term_typing
 
 (*s Cooking the constants. *)
 
-- 
cgit v1.2.3