diff --git a/source/tools/line_count/src/main.rs b/source/tools/line_count/src/main.rs
index d6374c565..d281e0441 100644
--- 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),