From 8fd5b51c3dc21a6ef4c996edd3968c3082274276 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Thu, 9 May 2013 18:54:11 +0000
Subject: Getting rid of module Gmapl.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16500 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/printers.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index e7e342204d..01b44f1484 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -29,7 +29,6 @@ Envars
 Gmap
 Fset
 Fmap
-Gmapl
 Profile
 Explore
 Predicate
-- 
cgit v1.2.3