diff options
Diffstat (limited to 'lib/clib.mllib')
-rw-r--r-- | lib/clib.mllib | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib index ed4894cb9..73839fd9e 100644 --- a/lib/clib.mllib +++ b/lib/clib.mllib @@ -17,6 +17,8 @@ IStream Pp_control Flags Control +Loc +Serialize Pp Deque CObj @@ -25,9 +27,8 @@ CString CArray CStack Util -Loc Stateid -Serialize +Feedback CUnix Envars Aux_file |