From 3f090e08594830885db88289c294e58cd506dff4 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 7 Mar 2018 16:04:55 +0100 Subject: Reword error message. Fix 22464 --- backend/AisAnnot.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'backend/AisAnnot.ml') diff --git a/backend/AisAnnot.ml b/backend/AisAnnot.ml index 0aa5bbdc..ab586820 100644 --- a/backend/AisAnnot.ml +++ b/backend/AisAnnot.ml @@ -37,7 +37,7 @@ exception Bad_parameter of string let warn_lval_arg pos arg = let warn ty = - let msg = sprintf "expected register or global memory cell but found %s for parameter '%s'" ty pos in + let msg = sprintf "expected register or memory cell but found %s for parameter '%s'" ty pos in raise (Bad_parameter msg) in match arg with | BA_int _ @@ -45,7 +45,7 @@ let warn_lval_arg pos arg = | BA_float _ | BA_single _ -> assert false (* Should never occur and be avoided in C2C *) | BA_addrstack ofs -> - warn "stack cell" + warn "stack address" | BA_addrglobal(id, ofs) -> warn "global address" | BA_splitlong(hi, lo) -> -- cgit