Merge branch 'main' into parse_statement

metamath · Sep 12, 2024 · 4d19ab9 · 4d19ab9
2 parents a14ee15 + 39246e7
commit 4d19ab9
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,