diff options
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 [] |