keep 'currently allocated'

adamse · zachs18 · web-flow · commit c2452e8bafe8 · 2024-04-14T20:00:10.000+01:00
Co-authored-by: zachs18 &lt;8355914+zachs18@users.noreply.github.com&gt;
diff --git a/library/core/src/alloc/global.rs b/library/core/src/alloc/global.rs
@@ -224,7 +224,7 @@ pub unsafe trait GlobalAlloc {
     ///
     /// The caller has to ensure that
     ///
-    /// * `ptr` is allocated via this allocator,
+    /// * `ptr` is currently allocated via this allocator,
     ///
     /// * `layout` is the same layout that was used
     ///   to allocate that block of memory,
