diff options
Diffstat (limited to 'lib/genode/alloc.nim')
| -rw-r--r-- | lib/genode/alloc.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/genode/alloc.nim b/lib/genode/alloc.nim index efc25ac57..24fb9954e 100644 --- a/lib/genode/alloc.nim +++ b/lib/genode/alloc.nim @@ -111,7 +111,7 @@ proc osDeallocPages(p: pointer; size: int) = if m.attachment == p: if m.size != size: echo "cannot partially detach dataspace" - quit -1 + rawQuit -1 runtimeEnv.detachAddress m.attachment runtimeEnv.freeDataspace m.ds m[] = Map() |