From 3ed150643328da99de75cdf69b2987a8fb44cce4 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 26 May 2006 08:03:20 +0000
Subject: [PATCH] Bug fixed: the syntax "?n" used to be broken. It tried a
 string_of_int "?n".

---
 components/content_pres/cicNotationLexer.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/components/content_pres/cicNotationLexer.ml b/components/content_pres/cicNotationLexer.ml
index 8848a3ce5..67340d37a 100644
--- a/components/content_pres/cicNotationLexer.ml
+++ b/components/content_pres/cicNotationLexer.ml
@@ -279,7 +279,9 @@ let rec ligatures_token k =
 and level2_ast_token =
   lexer
   | xml_blank+ -> ligatures_token level2_ast_token lexbuf
-  | meta -> return lexbuf ("META", Ulexing.utf8_lexeme lexbuf)
+  | meta ->
+     let s = Ulexing.utf8_lexeme lexbuf in
+      return lexbuf ("META", String.sub s 1 (String.length s - 1))
   | implicit -> return lexbuf ("IMPLICIT", "")
   | placeholder -> return lexbuf ("PLACEHOLDER", "")
   | ident ->
-- 
2.39.2