diff options
Diffstat (limited to 'executor/executor_akaros.cc')
| -rw-r--r-- | executor/executor_akaros.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor_akaros.cc b/executor/executor_akaros.cc index fc28fb8f7..70940dbb4 100644 --- a/executor/executor_akaros.cc +++ b/executor/executor_akaros.cc @@ -91,7 +91,7 @@ void cover_reset(thread_t* th) { } -uint64 read_cover_size(thread_t* th) +uint32 read_cover_size(thread_t* th) { return 0; } |