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

---
 printing/pptacticsig.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'printing/pptacticsig.mli')

diff --git a/printing/pptacticsig.mli b/printing/pptacticsig.mli
index d4858bac4..d49bef1fd 100644
--- a/printing/pptacticsig.mli
+++ b/printing/pptacticsig.mli
@@ -8,6 +8,7 @@
 
 open Pp
 open Genarg
+open Geninterp
 open Tacexpr
 open Ppextend
 open Environ
-- 
cgit v1.2.3