From de4b9b68445d9f3e48da789404cbdfcd89214585 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 18 Apr 2016 14:39:34 +0200
Subject: Moving the Val module to Geninterp.

---
 dev/printers.mllib  | 2 ++
 dev/top_printers.ml | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 9f25ba55e7..5d10f54fb2 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -146,6 +146,8 @@ Typeclasses_errors
 Logic_monad
 Proofview_monad
 Proofview
+Ftactic
+Geninterp
 Typeclasses
 Detyping
 Indrec
diff --git a/dev/top_printers.ml b/dev/top_printers.ml
index 29ea08e025..f9c1971a82 100644
--- a/dev/top_printers.ml
+++ b/dev/top_printers.ml
@@ -467,8 +467,8 @@ let pp_generic_argument arg =
   pp(str"<genarg:"++pr_argument_type(genarg_tag arg)++str">")
 
 let prgenarginfo arg =
-  let Val.Dyn (tag, _) = arg in
-  let tpe = Val.pr tag in
+  let Geninterp.Val.Dyn (tag, _) = arg in
+  let tpe = Geninterp.Val.pr tag in
   (** FIXME *)
 (*   try *)
 (*     let data = Pptactic.pr_top_generic (Global.env ()) arg in *)
-- 
cgit v1.2.3