diff options
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index a7234705..952d59e7 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -791,7 +791,7 @@ let rec convertExpr env e = Tcons(targ, Tnil), convertExprList env [arg], convertTyp env e.etyp) | _ -> - error "argument 1 of '__builtin_annot_intval' must be a string"; + error "argument 1 of '__builtin_annot_intval' must be a string literal"; ezero end |