diff --git a/src/goto-programs/read_bin_goto_object.cpp b/src/goto-programs/read_bin_goto_object.cpp
index f04b0640425..91e50acfa66 100644
--- a/src/goto-programs/read_bin_goto_object.cpp
+++ b/src/goto-programs/read_bin_goto_object.cpp
@@ -160,6 +160,8 @@ bool read_bin_goto_object_v3(
     if(hidden) f.make_hidden();
   }
   
+  functions.compute_location_numbers();
+
   return false;
 }