From b3e25b456f8e853b2380ede8edd6a9b7e688b780 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 31 Aug 2016 11:06:34 +0200
Subject: Added missing literal. Bug 18004

---
 cfrontend/C2C.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend/C2C.ml')

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
 
-- 
cgit