diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-04-30 09:23:21 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-04-30 09:23:37 +0200 |
| commit | d5b114b4015bcfb0ea2724efc01f478f6ea96b4f (patch) | |
| tree | f98ea09b86576b7a5134d0d33f72b31269d583d1 /executor/executor_fuchsia.cc | |
| parent | 06db3cec94c54e1cf720cdd5db72761514569d56 (diff) | |
executor: fix read_cover_size signature
Diffstat (limited to 'executor/executor_fuchsia.cc')
| -rw-r--r-- | executor/executor_fuchsia.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor_fuchsia.cc b/executor/executor_fuchsia.cc index 7fad95f4e..506b65015 100644 --- a/executor/executor_fuchsia.cc +++ b/executor/executor_fuchsia.cc @@ -51,7 +51,7 @@ void cover_reset(thread_t* th) { } -uint64 read_cover_size(thread_t* th) +uint32 read_cover_size(thread_t* th) { return 0; } |