From 3dc9ec53041b4b34a601c2d454d0e47005561b30 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 15 Apr 2020 19:09:34 +0200
Subject: Move the ObjFile module to its own file.

---
 lib/lib.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/lib.mllib')

diff --git a/lib/lib.mllib b/lib/lib.mllib
index 2db59712b9..4e08e87084 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -14,6 +14,7 @@ CWarnings
 AcyclicGraph
 Rtree
 System
+ObjFile
 Explore
 CProfile
 Future
-- 
cgit v1.2.3