From 8b093fa1828eee800da2bc73de33ea8804175924 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 8 Jul 2015 16:38:34 +0200
Subject: Make sure that scope classes are displayed by Print Scopes. (Fix bug
 #4262)

---
 interp/notation.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/interp/notation.ml b/interp/notation.ml
index 0b5791d32b..d18b804bfd 100644
--- a/interp/notation.ml
+++ b/interp/notation.ml
@@ -796,8 +796,8 @@ let pr_scope_classes sc =
   let l = classes_of_scope sc in
   match l with
   | [] -> mt ()
-  | _ :: l ->
-    let opt_s = match l with [] -> mt () | _ -> str "es" in
+  | _ :: ll ->
+    let opt_s = match ll with [] -> mt () | _ -> str "es" in
     hov 0 (str "Bound to class" ++ opt_s ++
       spc() ++ prlist_with_sep spc pr_scope_class l) ++ fnl()
 
-- 
cgit v1.2.3