diff options
author | David Marcec <dmarcecguzman@gmail.com> | 2020-06-25 16:35:58 +1000 |
---|---|---|
committer | David Marcec <dmarcecguzman@gmail.com> | 2020-06-25 16:35:58 +1000 |
commit | 38868e575090887f3c652c86ad2d08e5fbc8f891 (patch) | |
tree | 6031f0af1303bf753b0503285e715bc5310f683d /src/core/cpu_manager.cpp | |
parent | 2f2df9a4a7cadd279e9d2f9afb96e12a15b76f2b (diff) |
memory_manager: Remove useless assertion
num_pages is an std::size_t. It will always be >= 0
Diffstat (limited to 'src/core/cpu_manager.cpp')
0 files changed, 0 insertions, 0 deletions