Merge pull request #6511 from tautschnig/process-goto-program

Remove redundant compute_loop_numbers call

Author: tautschnig

src/goto-programs/process_goto_program.cpp

@@ -90,8 +90,5 @@ bool process_goto_program(
   // recalculate numbers, etc.
   goto_model.goto_functions.update();
 
-  // add loop ids
-  goto_model.goto_functions.compute_loop_numbers();
-
   return false;
 }