fix after #61

Aurel300 · Oct 10, 2024 · fc23fce · fc23fce
1 parent 2a898ec
commit fc23fce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-encoder/src/encoders/mir_pure.rs b/prusti-encoder/src/encoders/mir_pure.rs
@@ -1074,7 +1074,7 @@ mod rev_doms {
         type Node = mir::BasicBlock;
 
         fn num_nodes(&self) -> usize {
-            self.1.len()
+            self.0.len() + 1
         }
     }
     impl StartNode for RevBasicBlocks<'_, '_> {