From ca1a22c3dd8d098b7a9ca2d84cb8ea3fceef075a Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 29 May 2012 11:08:54 +0000
Subject: simplification in deps of some g_*.ml4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15377 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_ltac.ml4 | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'parsing/g_ltac.ml4')

diff --git a/parsing/g_ltac.ml4 b/parsing/g_ltac.ml4
index c8356b6033..f5bf5e099c 100644
--- a/parsing/g_ltac.ml4
+++ b/parsing/g_ltac.ml4
@@ -7,19 +7,17 @@
 (************************************************************************)
 
 open Pp
-open Util
 open Constrexpr
-open Glob_term
 open Tacexpr
 open Vernacexpr
 open Locality
-open Pcoq
-open Prim
-open Tactic
-open Tok
 open Misctypes
 open Genredexpr
 
+open Pcoq
+open Pcoq.Prim
+open Pcoq.Tactic
+
 let fail_default_value = ArgArg 0
 
 let arg_of_expr = function
-- 
cgit v1.2.3