diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-03-04 10:11:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-03-04 10:11:29 +0100 |
| commit | b811207406b3359f3e63eda3f35a0d624e1cca39 (patch) | |
| tree | ee4fed2e83578ce501e83564f83bf79f7e2087c2 /core/os/os.h | |
| parent | 4da21d1ce119ddfa40f2438ad673aaffaedd1bdb (diff) | |
More style cleanup...
Diffstat (limited to 'core/os/os.h')
| -rw-r--r-- | core/os/os.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/os/os.h b/core/os/os.h index 30cfb32b89..ebfe7d20dc 100644 --- a/core/os/os.h +++ b/core/os/os.h @@ -518,7 +518,7 @@ public: bool is_restart_on_exit_set() const; List<String> get_restart_on_exit_arguments() const; - virtual void process_and_drop_events() { } + virtual void process_and_drop_events() {} OS(); virtual ~OS(); }; |