Merge remote-tracking branch 'origin/main' into audit-property-class

tautschnig · Feb 13, 2025 · 4c11cdc · 4c11cdc
2 parents 0f5379c + 475ea5e
commit 4c11cdc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -22,6 +22,7 @@
     - [Coverage](./reference/experimental/coverage.md)
     - [Stubbing](./reference/experimental/stubbing.md)
     - [Contracts](./reference/experimental/contracts.md)
+    - [Loop Contracts](./reference/experimental/loop-contracts.md)
     - [Concrete Playback](./reference/experimental/concrete-playback.md)
 - [Application](./application.md)
   - [Comparison with other tools](./tool-comparison.md)