From 2dee039338e6f130447741b67f36eba666131b8a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 2 Jan 2005 08:47:14 +0000
Subject: Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le
 chargement de printers dans ocamldebug

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6546 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 translate/ppconstrnew.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'translate')

diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml
index 846b6468c3..6bae2537ed 100644
--- a/translate/ppconstrnew.ml
+++ b/translate/ppconstrnew.ml
@@ -71,7 +71,7 @@ let decode_patlist_value = function
   | CPatCstr (_,_,l) -> l
   | _ -> anomaly "Ill-formed list argument of notation"
 
-open Symbols
+open Notation
 
 let rec print_hunk n decode pr env = function
   | UnpMetaVar (e,prec) -> pr (n,prec) (env_assoc_value e env)
-- 
cgit v1.2.3