diff options
| author | Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de> | 2017-07-13 16:58:36 +0200 |
|---|---|---|
| committer | Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de> | 2017-07-14 17:36:06 +0200 |
| commit | 70a914cd34432b49da06c9778fceebd638bfa91d (patch) | |
| tree | 0a54f0e9c54b14ee662e77c671dedb4085b6f3a8 | |
| parent | 192da8819f2e936f7b944624a202a97405e689b3 (diff) | |
| download | rust-70a914cd34432b49da06c9778fceebd638bfa91d.tar.gz rust-70a914cd34432b49da06c9778fceebd638bfa91d.zip | |
Clarify documentation
| -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, |