diff options
Diffstat (limited to 'source/xi_lib/iface.ml')
-rw-r--r-- | source/xi_lib/iface.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/xi_lib/iface.ml b/source/xi_lib/iface.ml index b67a787..04658e0 100644 --- a/source/xi_lib/iface.ml +++ b/source/xi_lib/iface.ml @@ -1,7 +1,7 @@ type node2type = (Ast.node_tag, Types.normal_type) Hashtbl.t -type schedule = (Ir.procedure, Ir.label list) Hashtbl.t +type schedule = (Ir.procid, Ir.label list) Hashtbl.t type register_mapping = (Ir.reg, Ir.reg) Hashtbl.t |