From 82b3cfa677c21e7d1fab907f1824bb101f819291 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Dec 2020 10:03:30 +0000 Subject: Modify software pipelining for build --- src/SoftwarePipelining/SPIMS.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/SoftwarePipelining/SPIMS.mli') diff --git a/src/SoftwarePipelining/SPIMS.mli b/src/SoftwarePipelining/SPIMS.mli index bcd9ede..7c1d9a7 100644 --- a/src/SoftwarePipelining/SPIMS.mli +++ b/src/SoftwarePipelining/SPIMS.mli @@ -11,9 +11,9 @@ open Graph.Pack.Digraph -open Basic +open SPBasic -module NI : Map.S with type key = Basic.G.V.t +module NI : Map.S with type key = SPBasic.G.V.t (* piepeliner takes a data dependency graph and returns a schedule with an initiation interval fails if cannot find any schedule *) -- cgit