aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/clib.mllib2
1 files changed, 1 insertions, 1 deletions
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