From 70a914cd34432b49da06c9778fceebd638bfa91d Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de>
Date: Thu, 13 Jul 2017 16:58:36 +0200
Subject: [PATCH] Clarify documentation

---
 src/memory.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,