Index: runtime/bin/platform.h |
diff --git a/runtime/bin/platform.h b/runtime/bin/platform.h |
index cf220e4435070dfa8ba2660fa2400d47b80a3b41..9dc7e7a21a6a2fee63a1fa544160e3430993cdae 100644 |
--- a/runtime/bin/platform.h |
+++ b/runtime/bin/platform.h |
@@ -63,9 +63,7 @@ class Platform { |
static void SetExecutableName(const char* executable_name) { |
executable_name_ = executable_name; |
} |
- static const char* GetExecutableName() { |
- return executable_name_; |
- } |
+ static const char* GetExecutableName() { return executable_name_; } |
static const char* GetResolvedExecutableName() { |
if (resolved_executable_name_ == NULL) { |
// Try to resolve the executable path using platform specific APIs. |
@@ -82,12 +80,8 @@ class Platform { |
script_index_ = script_index; |
argv_ = argv; |
} |
- static int GetScriptIndex() { |
- return script_index_; |
- } |
- static char** GetArgv() { |
- return argv_; |
- } |
+ static int GetScriptIndex() { return script_index_; } |
+ static char** GetArgv() { return argv_; } |
static DART_NORETURN void Exit(int exit_code); |