diff --git a/src/plugins/region/annot.ml b/src/plugins/region/annot.ml index 519b79dd914b2523cf44539fcd975acc6080c087..4f1c50b871b43e27a8151318c3fb0aed8065aa19 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