From 5129c5b02bcab1426636d18583ec7a4a46195f0a Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sat, 2 Jan 2016 16:55:03 +0100
Subject: Reduce dependencies of interface files.

---
 printing/pptacticsig.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'printing')

diff --git a/printing/pptacticsig.mli b/printing/pptacticsig.mli
index 01f240f6b8..5b89266553 100644
--- a/printing/pptacticsig.mli
+++ b/printing/pptacticsig.mli
@@ -8,11 +8,9 @@
 
 open Pp
 open Genarg
-open Constrexpr
 open Tacexpr
 open Ppextend
 open Environ
-open Pattern
 open Misctypes
 
 module type Pp = sig
-- 
cgit v1.2.3