diff -r 21a97cdb317d -r df3e2792fd58 stage4/generate_c/generate_c_inlinefcall.cc --- a/stage4/generate_c/generate_c_inlinefcall.cc Tue Jun 28 16:35:47 2016 +0300 +++ b/stage4/generate_c/generate_c_inlinefcall.cc Wed Oct 12 17:52:48 2016 +0300 @@ -104,7 +104,7 @@ } s4o.print(s4o.indent_spaces); - s4o.print("inline "); + s4o.print("static inline "); function_type_prefix->accept(*this); s4o.print(" __"); fbname->accept(*this);