diff options
Diffstat (limited to 'backendC/CleanCompilerSources/codegen1.c')
| -rw-r--r-- | backendC/CleanCompilerSources/codegen1.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backendC/CleanCompilerSources/codegen1.c b/backendC/CleanCompilerSources/codegen1.c index af13c63..3880ccf 100644 --- a/backendC/CleanCompilerSources/codegen1.c +++ b/backendC/CleanCompilerSources/codegen1.c @@ -81,8 +81,8 @@ static char loc_sel[] = "t"; LabDef cycle_lab = {NULL, "", False, "_cycle_in_spine", 0}; LabDef reserve_lab = {NULL, "", False, "_reserve", 0}; LabDef type_error_lab = {NULL, "", False, "_type_error", 0}; -LabDef indirection_lab = {NULL, "", False, "_indirection", 0}; -LabDef ind_lab = {NULL, "", False, "_ind", 0}; +LabDef indirection_lab = {NULL, "", False, "e_system_nind", 0}; +LabDef ind_lab = {NULL, "", False, "e_system_dind", 0}; LabDef hnf_lab = {NULL, "", False, "_hnf", 0}; LabDef cons_lab = {NULL, "", False, "_Cons", 0}; LabDef nil_lab = {NULL, "", False, "_Nil", 0}; |