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

---
 dev/printers.mllib | 2 --
 1 file changed, 2 deletions(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index fb8d4c73e0..5a9acb6dd4 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -39,7 +39,6 @@ Explore
 Predicate
 Rtree
 Heap
-Dnet
 Genarg
 Stateid
 Ephemeron
@@ -121,7 +120,6 @@ Cbv
 Pretype_errors
 Evarutil
 Evarsolve
-Term_dnet
 Recordops
 Evarconv
 Arguments_renaming
-- 
cgit v1.2.3