From 0db1d850b940a5f2351c1ec6e26d1f8087064d40 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 8 May 2014 16:40:48 +0200
Subject: Moving Dnet-related code to tactics/.

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

(limited to 'lib/lib.mllib')

diff --git a/lib/lib.mllib b/lib/lib.mllib
index edef3da03..b5421a8c8 100644
--- a/lib/lib.mllib
+++ b/lib/lib.mllib
@@ -16,7 +16,6 @@ Explore
 Predicate
 Rtree
 Heap
-Dnet
 Unionfind
 Genarg
 Ephemeron
-- 
cgit v1.2.3