diff options
| author | Gaëtan Gilbert | 2018-12-04 16:22:18 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-17 14:49:13 +0100 |
| commit | a2ec08199d023b102df7806db8ed1e71c3ed27ce (patch) | |
| tree | 24d6607635a844f888c104309ee4f8d4c423a2e5 /lib/lib.mllib | |
| parent | 854d3e1b404fb3ee9087ffb07cbba7cc9196c1f9 (diff) | |
Make ugraph implementation abstract wrt universe specifics
This should give better visibility of universe specific operations vs
generic graph operations.
Diffstat (limited to 'lib/lib.mllib')
| -rw-r--r-- | lib/lib.mllib | 1 |
1 files changed, 1 insertions, 0 deletions
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 |