From 204469913eaeffa2642268f35d018bc5329f9372 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 31 Aug 2016 16:40:17 +0200
Subject: Fixed error message for & operator. Bug 18004

---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 621417ed..0766d769 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -1609,7 +1609,7 @@ let elab_expr vararg loc env a =
   | UNARY(ADDROF, a1) ->
       let b1,env = elab env a1 in
       if not (is_lvalue b1 || is_function_type env b1.etyp) then
-        err "cannot take the address of an rvalue of type %a" (print_typ env) b1.etyp;
+        err "argument of '&' is not an lvalue (invalid %a)" (print_typ env) b1.etyp;
       begin match b1.edesc with
       | EVar id ->
           begin match wrap Env.find_ident loc env id with
-- 
cgit