diff --git a/src/goto-programs/remove_asm.cpp b/src/goto-programs/remove_asm.cpp
index e67602fff2a..ff7eb0a4dfc 100644
--- a/src/goto-programs/remove_asm.cpp
+++ b/src/goto-programs/remove_asm.cpp
@@ -98,6 +98,7 @@ void remove_asmt::gcc_asm_function_call(
     symbol.type=fkt_type;
     symbol.base_name=function_base_name;
     symbol.value=nil_exprt();
+    symbol.mode = ID_C;
 
     symbol_table.add(symbol);
   }