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 a9b596b99..022a14ac3 100644 --- a/lib/clib.mllib +++ b/lib/clib.mllib @@ -1,3 +1,5 @@ +Coq_config + Int Option Store @@ -5,8 +7,8 @@ Exninfo Backtrace IArray Pp_control +Flags Pp -Coq_config Deque Hashset Hashcons @@ -18,6 +20,5 @@ Util Loc Serialize Xml_utils -Flags CUnix Envars |