From 8adafaf8c2f77c44b3202de8aea2bbb36acb0362 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 29 Jul 2014 14:34:41 +0200
Subject: Pp compiles after feedback

---
 lib/clib.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/clib.mllib b/lib/clib.mllib
index 73839fd9e5..160d49fba9 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -19,7 +19,6 @@ Flags
 Control
 Loc
 Serialize
-Pp
 Deque
 CObj
 CList
@@ -29,6 +28,7 @@ CStack
 Util
 Stateid
 Feedback
+Pp
 CUnix
 Envars
 Aux_file
-- 
cgit v1.2.3