From 4d542bc7eafadb16b845cf05d1eb4988eb55ed0f Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 20 Oct 2015 13:32:18 +0200 Subject: Updated PR by removing whitespaces. Bug 17450. --- checklink/Check.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'checklink/Check.ml') diff --git a/checklink/Check.ml b/checklink/Check.ml index 0e69ab72..b2b9077c 100644 --- a/checklink/Check.ml +++ b/checklink/Check.ml @@ -421,7 +421,7 @@ let match_csts (cc: constant) (ec: int32): checker = fun ffw -> ^ Hashtbl.find ffw.sf.ident_to_name ident) | Csymbol_rel_low (ident, i) | Csymbol_rel_high (ident, i) -> (* should be handled separately in places it occurs *) - ERR("Incorrect reference to far-data symbol " + ERR("Incorrect reference to far-data symbol " ^ Hashtbl.find ffw.sf.ident_to_name ident) let match_z_int32 (cz: Z.t) (ei: int32) = @@ -847,7 +847,7 @@ let rec compare_code ccode ecode pc: checker = fun fw -> let lblvaddr = Int32.(add pc (mul 4l (exts bd))) in OK(fw) >>= match_ints 0 bi - >>= lblmap_unify lbl lblvaddr + >>= lblmap_unify lbl lblvaddr >>= match_bools false aa >>= match_bools false lk >>= recur_simpl @@ -1719,7 +1719,7 @@ let rec compare_code ccode ecode pc: checker = fun fw -> >>= match_iregs rd rD0 >>= recur_simpl | _ -> error - end + end | Pmfcrbit(rd, bit) -> error | Pmflr(r) -> -- cgit