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 3c1c5da33..c3ec4a696 100644 --- a/lib/clib.mllib +++ b/lib/clib.mllib @@ -28,13 +28,14 @@ CArray CStack Util Stateid -Feedback Pp Ppstyle +Xml_datatype +Richpp +Feedback Xml_lexer Xml_parser Xml_printer -Richpp CUnix Envars Aux_file |