From 45db6551fd1860159e9babd53b68a67302e57e37 Mon Sep 17 00:00:00 2001 From: Paweł Dybiec Date: Sat, 24 Nov 2018 17:52:48 +0100 Subject: Upgrade base --- source/xi_lib/iface.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'source/xi_lib/iface.ml') 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 -- cgit 1.4.1