diff --git a/src/esbmc/esbmc_parseoptions.cpp b/src/esbmc/esbmc_parseoptions.cpp
index ef7c94175f1..9ef5bd9cc95 100644
--- a/src/esbmc/esbmc_parseoptions.cpp
+++ b/src/esbmc/esbmc_parseoptions.cpp
@@ -1647,7 +1647,7 @@ bool esbmc_parseoptionst::process_goto_program(
     {
       // remove skips before doing k-induction
       // it seems to fix some issues
-      remove_skip(goto_functions);
+      remove_no_op(goto_functions);
 
       goto_k_induction(goto_functions);
     }