From 1439f7c79cf3d825479dc0fb68d6694083775c34 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 27 Oct 2020 17:10:37 +0100 Subject: Correcting typo --- backend/Duplicatepasses.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'backend/Duplicatepasses.v') diff --git a/backend/Duplicatepasses.v b/backend/Duplicatepasses.v index 7f007251..f1770494 100644 --- a/backend/Duplicatepasses.v +++ b/backend/Duplicatepasses.v @@ -24,7 +24,7 @@ Axiom unroll_single_aux : function -> code * node * (PTree.t node). Extract Constant unroll_single_aux => "Duplicateaux.unroll_single". Module UnrollSingleParam <: DuplicateParam. - Definition duplicate_aux := static_predict_aux. + Definition duplicate_aux := unroll_single_aux. End UnrollSingleParam. Module UnrollSingleDef := Duplicate UnrollSingleParam. @@ -39,7 +39,7 @@ Axiom unroll_body_aux : function -> code * node * (PTree.t node). Extract Constant unroll_body_aux => "Duplicateaux.unroll_body". Module UnrollBodyParam <: DuplicateParam. - Definition duplicate_aux := static_predict_aux. + Definition duplicate_aux := unroll_body_aux. End UnrollBodyParam. Module UnrollBodyDef := Duplicate UnrollBodyParam. @@ -54,7 +54,7 @@ Axiom tail_duplicate_aux : function -> code * node * (PTree.t node). Extract Constant tail_duplicate_aux => "Duplicateaux.tail_duplicate". Module TailDuplicateParam <: DuplicateParam. - Definition duplicate_aux := static_predict_aux. + Definition duplicate_aux := tail_duplicate_aux. End TailDuplicateParam. Module TailDuplicateDef := Duplicate TailDuplicateParam. -- cgit