Add named symbols: `⌈`, `⌉`, `⌊`, `⌋` (#4267)

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/src/lib.rs b/docs/src/lib.rs
index 231fe97c..7575817a 100644
--- a/docs/src/lib.rs
+++ b/docs/src/lib.rs
@@ -542,7 +542,7 @@ fn group_page(
     let mut outline_items = vec![];
     for name in &group.filter {
         let value = group.module().scope().get(name).unwrap();
-        let Value::Func(func) = value else { panic!("not a function") };
+        let Ok(ref func) = value.clone().cast::<Func>() else { panic!("not a function") };
         let func = func_model(resolver, func, &path, true);
         let id_base = urlify(&eco_format!("functions-{}", func.name));
         let children = func_outline(&func, &id_base);