fix line count tool after changes to the syntax macro ast

verus-lang · Jan 17, 2025 · c7c33d0 · c7c33d0
1 parent 716aaa5
commit c7c33d0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/source/tools/line_count/src/main.rs b/source/tools/line_count/src/main.rs
@@ -1320,17 +1320,17 @@ impl<'f> Visitor<'f> {
     ) {
         self.mark(&sig, code_kind, LineContent::Signature(content_code_kind));
         if code_kind != CodeKind::Spec {
-            if let Some(requires) = &sig.requires {
+            if let Some(requires) = &sig.spec.requires {
                 self.mark(
                     requires,
                     self.mode_or_trusted(CodeKind::Spec),
                     LineContent::FunctionSpec,
                 );
             }
-            if let Some(ensures) = &sig.ensures {
+            if let Some(ensures) = &sig.spec.ensures {
                 self.mark(ensures, self.mode_or_trusted(CodeKind::Spec), LineContent::FunctionSpec);
             }
-            if let Some(decreases) = &sig.decreases {
+            if let Some(decreases) = &sig.spec.decreases {
                 self.mark(
                     decreases,
                     self.mode_or_trusted(CodeKind::Spec),