From e3c247c1d96f39d2c07d120b69598a904b7d9f19 Mon Sep 17 00:00:00 2001
From: Matej Košík
Date: Sun, 11 Jun 2017 15:14:15 +0200
Subject: deprecate Pp.std_ppcmds type alias

---
 engine/geninterp.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/geninterp.mli')

diff --git a/engine/geninterp.mli b/engine/geninterp.mli
index 9a925dcd89..492e372adb 100644
--- a/engine/geninterp.mli
+++ b/engine/geninterp.mli
@@ -30,7 +30,7 @@ sig
 
   val eq : 'a typ -> 'b typ -> ('a, 'b) CSig.eq option
   val repr : 'a typ -> string
-  val pr : 'a typ -> Pp.std_ppcmds
+  val pr : 'a typ -> Pp.t
 
   val typ_list : t list typ
   val typ_opt : t option typ
-- 
cgit v1.2.3