diff options
Diffstat (limited to 'backend/Duplicatepasses.v')
-rw-r--r-- | backend/Duplicatepasses.v | 6 |
1 files changed, 3 insertions, 3 deletions
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. |