From 2e57237d7518d8cd4ea2b608e5e7c96eb5698638 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 25 Nov 1999 01:13:21 +0000
Subject: Des progres dans l'integration

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@140 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/classops.ml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'pretyping/classops.ml')

diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index 667adca1b1..0bb314d40d 100755
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -1,20 +1,16 @@
+(* $Id$ *)
 
-
-open Std;;
-open Names;;
-open Vectops;;
+open Util;;
 open Pp;;
+open Names;;
 open Vartab;;
 open Libobject;;
 open Constrtypes;;
-open Vectops;;
 open List;;
 open Library;;
 open Term;;
-open More_util;;
 open Generic;;
 open Initial;;
-open Printer;;
 
 
 (* usage qque peu general: utilise aussi dans record *)
-- 
cgit v1.2.3