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_bsd.cc | |
| parent | 06db3cec94c54e1cf720cdd5db72761514569d56 (diff) | |
executor: fix read_cover_size signature
Diffstat (limited to 'executor/executor_bsd.cc')
| -rw-r--r-- | executor/executor_bsd.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor_bsd.cc b/executor/executor_bsd.cc index 83956f3a9..642b6a223 100644 --- a/executor/executor_bsd.cc +++ b/executor/executor_bsd.cc @@ -201,7 +201,7 @@ void cover_reset(thread_t* th) #endif } -uint64 read_cover_size(thread_t* th) +uint32 read_cover_size(thread_t* th) { if (!flag_cover) return 0; |