Skip to content
Snippets Groups Projects
Commit 30f3246a authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[region] error message typo

parent 071a1189
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/region/annot.ml
+ 1
− 1
View file @ 30f3246a
...@@ -152,7 +152,7 @@ let rec parse_lpath (env:env) (e: lexpr) = ...@@ -152,7 +152,7 @@ let rec parse_lpath (env:env) (e: lexpr) =
let te = Cil.typeOf_pointed lv.typ in let te = Cil.typeOf_pointed lv.typ in
{ loc ; step = Star lv ; typ = te } { loc ; step = Star lv ; typ = te }
else else
error env ~loc "Pointer-type expected for operator '&'" error env ~loc "Pointer-type expected for operator '*'"
| PLunop( Uamp , p ) -> | PLunop( Uamp , p ) ->
let lv = parse_lpath env p in let lv = parse_lpath env p in
let typ = TPtr( lv.typ , [] ) in let typ = TPtr( lv.typ , [] ) in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment