From de8888e28ad793511ba2e2969516325b0be44330 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 12 Feb 2015 18:52:09 +0100
Subject: Revert "Using same code for browsing physical directories in coqtop
 and coqdep." (Sorry, was not intended to be pushed)

This reverts commit 5268efdefb396267bfda0c17eb045fa2ed516b3c.
---
 dev/printers.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 7f8d4aad16..2f78c2e915 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -37,7 +37,6 @@ Util
 Bigint
 Dyn
 CUnix
-Systemdirs
 System
 Envars
 Aux_file
-- 
cgit v1.2.3