From 5264d9340c7c03852d4903bf1c063cad542df834 Mon Sep 17 00:00:00 2001
From: Carst Tankink
Date: Fri, 1 Aug 2014 11:47:16 +0200
Subject: STM: encapsulate Pp.message in Feedback.feedback

---
 dev/printers.mllib | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 8477df76c6..4afa9d4fc9 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -20,6 +20,8 @@ Flags
 Control
 Loc
 Serialize
+Stateid
+Feedback
 Pp
 Segmenttree
 Unicodetable
-- 
cgit v1.2.3