clippy

metamath · Sep 12, 2024 · 39246e7 · 39246e7
1 parent 716577c
commit 39246e7
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/metamath-rs/src/outline.rs b/metamath-rs/src/outline.rs
@@ -50,7 +50,12 @@ impl OutlineNode {
 
     /// Build an outline node, with a generic statement address,
     /// which is specific to a segment
-    fn new(name: Token, level: HeadingLevel, segment_id: SegmentId, index: StatementIndex) -> Self {
+    const fn new(
+        name: Token,
+        level: HeadingLevel,
+        segment_id: SegmentId,
+        index: StatementIndex,
+    ) -> Self {
         OutlineNode {
             name,
             level,