diff options
Diffstat (limited to '3rdparty/genie/src/base/profiler.lua')
-rw-r--r-- | 3rdparty/genie/src/base/profiler.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/3rdparty/genie/src/base/profiler.lua b/3rdparty/genie/src/base/profiler.lua index 0fbea437f48..a2f51a51895 100644 --- a/3rdparty/genie/src/base/profiler.lua +++ b/3rdparty/genie/src/base/profiler.lua @@ -564,7 +564,7 @@ function _profiler._pretty_name(self,func) end if info.source then - name = name .. "@" .. info.source + name = name else if info.what == "C" then name = name .. "@?" |