diff options
author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-11-24 17:52:48 +0100 |
---|---|---|
committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-11-24 17:52:48 +0100 |
commit | 45db6551fd1860159e9babd53b68a67302e57e37 (patch) | |
tree | ef726bd338486459ad4e3f77efbaffbd7a61b82f /source/xi_lib/iface.ml | |
parent | Fixed ambiguity for if else (diff) |
Upgrade base
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 |