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/SPMVE.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/SoftwarePipelining/SPMVE.mli') diff --git a/src/SoftwarePipelining/SPMVE.mli b/src/SoftwarePipelining/SPMVE.mli index 418a3ab..2da367d 100644 --- a/src/SoftwarePipelining/SPMVE.mli +++ b/src/SoftwarePipelining/SPMVE.mli @@ -10,8 +10,8 @@ (***********************************************************************) -open Basic -open IMS +open SPBasic +open SPIMS val mve : G.t -> int NI.t -> int -> (G.V.t option) array * G.V.t list * G.V.t list * int * int * (reg * reg) list * (reg * reg) list -- cgit