From 30f3246a8ebbc8930dd18d5239a8362e41e7f69e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 18 Jun 2024 13:27:06 +0200
Subject: [PATCH] [region] error message typo
---
src/plugins/region/annot.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/region/annot.ml b/src/plugins/region/annot.ml
index 519b79dd914..4f1c50b871b 100644
--- a/src/plugins/region/annot.ml
+++ b/src/plugins/region/annot.ml
@@ -152,7 +152,7 @@ let rec parse_lpath (env:env) (e: lexpr) =
let te = Cil.typeOf_pointed lv.typ in
{ loc ; step = Star lv ; typ = te }
else
- error env ~loc "Pointer-type expected for operator '&'"
+ error env ~loc "Pointer-type expected for operator '*'"
| PLunop( Uamp , p ) ->
let lv = parse_lpath env p in
let typ = TPtr( lv.typ , [] ) in
--
GitLab