From 43742f50550d823109df62afde40293379da409d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 8 Feb 2023 17:29:01 +0100
Subject: [PATCH] [parsing] post-rebase fix
---
src/kernel_internals/parsing/logic_parser.mly | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index 59ec1465a6d..d10a972435e 100644
--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly
@@ -1320,7 +1320,7 @@ annotation:
"Only one code annotation is allowed per comment"))
}
| identifier { Aattribute_annot (loc $sloc, $1) }
-| BSGHOST { Aattribute_annot(loc(),"\\ghost") }
+| BSGHOST { Aattribute_annot(loc $sloc,"\\ghost") }
;
contract_or_code_annotation:
--
GitLab