From f640111f205ece48a3548cc8de0beef8ba9e45e7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 6 Oct 2021 22:02:27 +0200
Subject: [PATCH] Huh, I seem to have left this unfinished

---
 syndicate/src/actor.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/syndicate/src/actor.rs b/syndicate/src/actor.rs
index b985010..8deee14 100644
--- a/syndicate/src/actor.rs
+++ b/syndicate/src/actor.rs
@@ -1009,7 +1009,8 @@ impl<'activation> Activation<'activation> {
     }
 
     /// Create a new subfacet of the currently-active facet. Runs `boot` in the new facet's
-    /// context. If `boot` returns leaving the new facet [inert][Facet#inert-facets],
+    /// context. If `boot` returns leaving the new facet [inert][Facet#inert-facets], the new
+    /// facet is [stopped][Activation::stop_facet].
     pub fn facet<F: FnOnce(&mut Activation) -> ActorResult>(
         &mut self,
         boot: F,