From c7ea6ababa7e57a3b9c529cfc0617072eaed0701 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 31 Aug 2016 15:46:51 +0200 Subject: Added back logical operator in error. Bug 18004 --- cparser/Elab.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Elab.ml') 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 -- cgit