gpu.buffers: fix stack effect of with-mapped-buffer

diff --git a/extra/gpu/buffers/buffers.factor b/extra/gpu/buffers/buffers.factor
index 3de5a03d3502cb7e0de117713c862c62b3b9e8e4..351a8b39b0c9432e8082cedeb3a4deef19ac3451 100644 (file)
--- a/extra/gpu/buffers/buffers.factor
+++ b/extra/gpu/buffers/buffers.factor
@@ -124,7 +124,7 @@ UNION: gpu-data-ptr buffer-ptr c-ptr ;
 
     quot call
 
-    target glUnmapBuffer ; inline
+    target glUnmapBuffer drop ; inline
 
 :: with-bound-buffer ( buffer target quot: ( -- ) -- )
     target gl-target buffer glBindBuffer