diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-20 13:32:18 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-20 13:32:18 +0200 |
commit | 4d542bc7eafadb16b845cf05d1eb4988eb55ed0f (patch) | |
tree | 1961b41815fc6e392cc0bd2beeb0fb504bc160ce /checklink/Check.ml | |
parent | 7a6bb90048db7a254e959b1e3c308bac5fe6c418 (diff) | |
download | compcert-4d542bc7eafadb16b845cf05d1eb4988eb55ed0f.tar.gz compcert-4d542bc7eafadb16b845cf05d1eb4988eb55ed0f.zip |
Updated PR by removing whitespaces. Bug 17450.
Diffstat (limited to 'checklink/Check.ml')
-rw-r--r-- | checklink/Check.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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) -> |