From 9024a91b59b9ecfb94e68b3748f2a9a66adcf515 Mon Sep 17 00:00:00 2001
From: ppedrot
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
---
 dev/printers.mllib  | 1 +
 dev/top_printers.ml | 1 +
 2 files changed, 2 insertions(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index c16b4abbac..80eaa6b850 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -126,6 +126,7 @@ Ppextend
 Pputils
 Genarg
 Stdarg
+Constrarg
 Constrexpr_ops
 Notation_ops
 Topconstr
diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index f59c300a9e..a9b942e7bb 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -409,6 +409,7 @@ END
 
 open Pcoq
 open Genarg
+open Constrarg
 open Egramml
 
 let _ =
-- 
cgit v1.2.3