diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-27 17:10:37 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-27 17:10:37 +0100 |
| commit | 1439f7c79cf3d825479dc0fb68d6694083775c34 (patch) | |
| tree | b32e141f0e5922b0cef0e99c9cfd8b1ebf9bf7af /backend/Duplicatepasses.v | |
| parent | 7b880f545e6b808f09285fc84e432141e2be206d (diff) | |
| download | compcert-kvx-1439f7c79cf3d825479dc0fb68d6694083775c34.tar.gz compcert-kvx-1439f7c79cf3d825479dc0fb68d6694083775c34.zip | |
Correcting typo
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. |