From 3d049928dd1ee6de1cc2588d07059dca4f09bf9b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 5 Sep 2019 14:56:00 +0200
Subject: [PATCH] [Parsing] Fixes parsing of oneline ghost else
---
src/kernel_internals/parsing/clexer.mll | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/parsing/clexer.mll b/src/kernel_internals/parsing/clexer.mll
index bfcb287c5d6..703e67408c8 100644
--- a/src/kernel_internals/parsing/clexer.mll
+++ b/src/kernel_internals/parsing/clexer.mll
@@ -847,7 +847,7 @@ and might_end_ghost_annot = parse
make_annot ~one_line:false initial lexbuf s }
| "" { Buffer.add_char buf !annot_char; annot_token lexbuf }
and annot_one_line = parse
- | "ghost" "else" {
+ | "ghost" blank+ "else" {
if is_oneline_ghost () then E.parse_error "nested ghost code";
enter_oneline_ghost (); LGHOST_ELSE (currentLoc ())
}
--
GitLab