diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/clib.mllib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib index 7ff1d2935..9c9607abd 100644 --- a/lib/clib.mllib +++ b/lib/clib.mllib @@ -18,11 +18,11 @@ Pp_control Flags Control Loc +CList +CString Serialize Deque CObj -CList -CString CArray CStack Util |