Specify behavior when passed a null pointer

diff --git a/src/liballoc/boxed.rs b/src/liballoc/boxed.rs
index a7e09d72b4a92cdaae9337faed99af581e32fd00..2f24086bf2c9857b82c35e373ddec0d450a6b63d 100644 (file)
--- a/src/liballoc/boxed.rs
+++ b/src/liballoc/boxed.rs
@@ -73,8 +73,12 @@
 //!
 //! ```c
 //! /* C header */
-//! struct Foo* foo_new(void); /* Returns ownership to the caller */
-//! void foo_delete(struct Foo*); /* Takes ownership from the caller */
+//! 
+//! /* Returns ownership to the caller */
+//! struct Foo* foo_new(void);
+//! 
+//! /* Takes ownership from the caller; no-op when invoked with NULL */
+//! void foo_delete(struct Foo*);
 //! ```
 //! 
 //! These two functions might be implemented in Rust as follows. Here, the