diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 15:46:51 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 15:46:51 +0200 |
| commit | c7ea6ababa7e57a3b9c529cfc0617072eaed0701 (patch) | |
| tree | b64fcad62dfb790d590590286191fe5bee84594b /cparser | |
| parent | 2617756dbb2f3bc0765e4276ee95c8cac55ed943 (diff) | |
| download | compcert-c7ea6ababa7e57a3b9c529cfc0617072eaed0701.tar.gz compcert-c7ea6ababa7e57a3b9c529cfc0617072eaed0701.zip | |
Added back logical operator in error. Bug 18004
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index cca79041..29bce36e 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1928,7 +1928,7 @@ let elab_expr vararg loc env a = let b1,env = elab env a1 in let b2,env = elab env a2 in if not ((is_scalar_type env b1.etyp) && (is_scalar_type env b2.etyp)) then - error "invalid operands to binary expression (%a and %a)" + error "invalid operands to binary %s (%a and %a)" msg (print_typ env) b1.etyp (print_typ env) b2.etyp; { edesc = EBinop(op, b1, b2, TInt(IInt, [])); etyp = TInt(IInt, []) },env |