diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:58:04 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:58:04 +0100 |
commit | bc86b4a7e9c847180e6fd7ed81e0a15d5aee00a0 (patch) | |
tree | 792f7fd235280bbb315bdf370ff9eddf4ad4d101 /kernel | |
parent | e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e (diff) |
Added "equiv_induct -undef"
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/sigtools.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/sigtools.h b/kernel/sigtools.h index c38736e7..f92a87db 100644 --- a/kernel/sigtools.h +++ b/kernel/sigtools.h @@ -129,7 +129,7 @@ struct SigPool return sig; } - size_t size() + size_t size() const { return bits.size(); } |