Fix format

model-checking · Aug 17, 2024 · b59205a · b59205a
1 parent 5aa08b7
commit b59205a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tools/scanner/src/analysis.rs b/tools/scanner/src/analysis.rs
@@ -573,9 +573,9 @@ impl<'a> MirVisitor for IteratorVisitor<'a> {
                     self.props.loops += 1;
                 }
             }
-            TerminatorKind::InlineAsm { destination, .. } => {
-                if let Some(target) = destination {
-                    self.props.loops += self.visited_blocks.contains(target) as usize;
+            TerminatorKind::InlineAsm { destination: Some(target), .. } => {
+                if self.visited_blocks.contains(target) {
+                    self.props.loops += 1;
                 }
             }
             // No targets in other terminators.