From 5376f7de4cc1b0687a197b9e42b10337b95f5742 Mon Sep 17 00:00:00 2001 From: Andrea Asperti 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". --- helm/software/components/content_pres/cicNotationLexer.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/helm/software/components/content_pres/cicNotationLexer.ml b/helm/software/components/content_pres/cicNotationLexer.ml index 8848a3ce5..67340d37a 100644 --- a/helm/software/components/content_pres/cicNotationLexer.ml +++ b/helm/software/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