diff options
author | Christian Göttsche <cgzones@googlemail.com> | 2020-10-07 19:02:15 +0200 |
---|---|---|
committer | cgzones <cgzones@googlemail.com> | 2020-10-09 10:18:40 +0200 |
commit | 41eea8a355d9f8935c2bcb25b4da83cf628f357b (patch) | |
tree | 83cf9e3b334d12f5eabf987f08fafc073e194507 /unsupported/Platform.h | |
parent | 7fa0f19ffdb65019791034f8ff4c9b73edb162b2 (diff) |
Mark process argument of Process_isThread const
Diffstat (limited to 'unsupported/Platform.h')
-rw-r--r-- | unsupported/Platform.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unsupported/Platform.h b/unsupported/Platform.h index ce188afa..f24dcf4c 100644 --- a/unsupported/Platform.h +++ b/unsupported/Platform.h @@ -43,7 +43,7 @@ void Platform_setMemoryValues(Meter* this); void Platform_setSwapValues(Meter* this); -bool Process_isThread(Process* this); +bool Process_isThread(const Process* this); char* Platform_getProcessEnv(pid_t pid); |