From f84de199cf21607984d270baa54b4fe888572f9e Mon Sep 17 00:00:00 2001
From: Wouter Breedveld <W.J.Breedveld-1@student.tudelft.nl>
Date: Fri, 14 Feb 2025 18:31:33 +0100
Subject: [PATCH] fix: doc links

---
 src/engine/cp/propagation/propagator.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/engine/cp/propagation/propagator.rs b/src/engine/cp/propagation/propagator.rs
index 61e4a14..fe3ceba 100644
--- a/src/engine/cp/propagation/propagator.rs
+++ b/src/engine/cp/propagation/propagator.rs
@@ -1,8 +1,8 @@
 use super::PropagatorInitialisationContext;
 #[cfg(doc)]
-use crate::asserts::munchkin_assert_ADVANCED;
+use crate::asserts::ASSERT_ADVANCED;
 #[cfg(doc)]
-use crate::asserts::munchkin_assert_EXTREME;
+use crate::asserts::ASSERT_EXTREME;
 #[cfg(doc)]
 use crate::basic_types::Inconsistency;
 use crate::basic_types::PropagationStatusCP;