diff --git a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp index 8f5b909..b2189e6 100644 --- a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp +++ b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp @@ -1558,7 +1558,7 @@ void createCheckpoints(SgFile* file, const map& commonBloc auto nextStLab = new SgLabel(labNum); point->setLabel(*nextStLab); - SgStatement* gotoBlock = new SgIfStmt(*new SgVarRefExp(loadS[0]) == *new SgValueExp(labNum)); + SgStatement* gotoBlock = new SgIfStmt(*new SgVarRefExp(loadS[0]) == *new SgValueExp(1)); gotoBlock->addComment("! GOTO CP\n"); gotoBlock->insertStmtAfter(*new SgGotoStmt(*nextStLab), *gotoBlock);