From e6c6cb147653dfbe5cca721645a65904c0e6a7b4 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Thu, 16 Jul 2026 20:26:36 +0530
Subject: [PATCH] Update debug_utils.jl

---
 src/debug_utils.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/debug_utils.jl b/src/debug_utils.jl
index 7c0be506b..71d7fcc07 100644
--- a/src/debug_utils.jl
+++ b/src/debug_utils.jl
@@ -187,6 +187,7 @@ julia> # Notice that VarInfo(model_incorrect) evaluates the model, but doesn't a
 
 julia> check_model(model; error_on_failure=true)
 ERROR: varname x used multiple times in model
+```
 """
 function check_model(
     rng::Random.AbstractRNG, model::Model; error_on_failure=false, fail_if_discrete=false