diff options
| -rw-r--r-- | src/memory.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/memory.rs b/src/memory.rs index f84dd312482..b25d69e5d07 100644 --- a/src/memory.rs +++ b/src/memory.rs @@ -48,7 +48,7 @@ pub enum Kind { Rust, /// Error if deallocated any other way than `free` C, - /// Error if deallocated via `rust_deallocate` + /// Error if deallocated except during a stack pop Stack, /// May never be deallocated Static, |