1 files changed, 0 insertions, 37 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib
deleted file mode 100644
index 1e33173e..00000000
--- a/lib/clib.mllib
+++ /dev/null
@@ -1,37 +0,0 @@
-Coq_config
-
-Terminal
-Canary
-Hook
-Hashset
-Hashcons
-CSet
-CMap
-Int
-Dyn
-HMap
-Option
-Store
-Exninfo
-Backtrace
-IStream
-Pp_control
-Flags
-Control
-Loc
-CList
-CString
-Deque
-CObj
-CArray
-CStack
-Util
-Stateid
-Pp
-Ppstyle
-Richpp
-Feedback
-CUnix
-Envars
-Aux_file
-Monad