From 9024a91b59b9ecfb94e68b3748f2a9a66adcf515 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 21 Jun 2013 12:36:19 +0000
Subject: Cutting the dependency of Genarg in constr_expr, glob_constr related
 types. This will ultimately allow putting genargs into these ASTs.

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

(limited to 'printing')

diff --git a/printing/pptactic.ml b/printing/pptactic.ml
index 432138916..2ff19c960 100644
--- a/printing/pptactic.ml
+++ b/printing/pptactic.ml
@@ -14,6 +14,7 @@ open Util
 open Constrexpr
 open Tacexpr
 open Genarg
+open Constrarg
 open Libnames
 open Ppextend
 open Misctypes
-- 
cgit v1.2.3