From a2ec08199d023b102df7806db8ed1e71c3ed27ce Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 4 Dec 2018 16:22:18 +0100
Subject: Make ugraph implementation abstract wrt universe specifics

This should give better visibility of universe specific operations vs
generic graph operations.
---
 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 206b2504db..2db59712b9 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -11,6 +11,7 @@ Feedback
 CErrors
 CWarnings
 
+AcyclicGraph
 Rtree
 System
 Explore
-- 
cgit v1.2.3