From 29f26d380177495a224c3b94d3309a3d23693d8f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 17 Mar 2016 11:01:32 +0100
Subject: Reducing the number of modules linked in grammar.cma.

---
 lib/ppstyle.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/ppstyle.ml b/lib/ppstyle.ml
index bb73fbdf56..3ecaac0391 100644
--- a/lib/ppstyle.ml
+++ b/lib/ppstyle.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-open Util
+module String = CString
 
 type t = string
 (** We use the concatenated string, with dots separating each string. We
-- 
cgit v1.2.3