aboutsummaryrefslogtreecommitdiff
path: root/lib/clib.mllib
diff options
context:
space:
mode:
Diffstat (limited to 'lib/clib.mllib')
-rw-r--r--lib/clib.mllib1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib
index c73ae9b904..9eb479fcc9 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -18,6 +18,7 @@ IStream
Flags
Control
Loc
+CAst
CList
CString
Deque