diff options
| author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
| commit | d8e44d7e8e043eb5559ff7228f2bd6c4ecbce3f0 (patch) | |
| tree | c674515acd43f2d81290fad9443d08fc75c20ff4 /source/xi/pipeline.ml | |
| parent | Fix topdown strategy for add (diff) | |
Initial code for translator
Diffstat (limited to 'source/xi/pipeline.ml')
| -rw-r--r-- | source/xi/pipeline.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xi/pipeline.ml b/source/xi/pipeline.ml index ae9a4c9..190a3f3 100644 --- a/source/xi/pipeline.ml +++ b/source/xi/pipeline.ml @@ -22,7 +22,7 @@ module Make(Steps:COMPILER_STEPS)(Params:PARAMS) = struct let describe_register_mapping mapping = let describe_map k v xs = - let entry = Format.sprintf "%s -> %s" (Ir.string_of_reg k) (Ir.string_of_reg v) in + let entry = Format.sprintf "%s -> %s" (Ir_utils.string_of_reg k) (Ir_utils.string_of_reg v) in entry :: xs in String.concat "\n" @@ Hashtbl.fold describe_map mapping [] |