Fixing summary

scallop-lang · Apr 11, 2024 · daabee5 · daabee5
1 parent a9c5fa1
commit daabee5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/summary.md b/doc/src/summary.md
@@ -32,7 +32,6 @@
   - [Provenance Library](probabilistic/library.md)
   - [Aggregation and Probability](probabilistic/aggregation.md)
   - [Sampling with Probability](probabilistic/sampling.md)
-  - [Debugging Proofs](probabilistic/debug.md)
 - [`scallopy`](scallopy/index.md)
   - [Getting Started](scallopy/getting_started.md)
   - [Scallop Context](scallopy/context.md)
@@ -44,6 +43,7 @@
   - [Foreign Functions](scallopy/foreign_function.md)
   - [Foreign Predicate](scallopy/foreign_predicate.md)
   - [Saving and Loading](scallopy/save_and_load.md)
+  - [Debugging Proofs](scallopy/debug_proofs.md)
 
 # Toolchain