From 064643309e96a9370c475c1d0308a9c835054dcb Mon Sep 17 00:00:00 2001
From: Sergey Bronnikov <estetus@gmail.com>
Date: Tue, 15 Oct 2024 17:19:32 +0300
Subject: [PATCH] Fix broken markup in ConfigurationFuzzer

---
 docs/notebooks/ConfigurationFuzzer.ipynb | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/notebooks/ConfigurationFuzzer.ipynb b/docs/notebooks/ConfigurationFuzzer.ipynb
index 142fbb56b..9372a0b21 100644
--- a/docs/notebooks/ConfigurationFuzzer.ipynb
+++ b/docs/notebooks/ConfigurationFuzzer.ipynb
@@ -6954,12 +6954,12 @@
    },
    "source": [
     "When copying, expansions in the copy should also refer to symbols in the copy.  Hence, when expanding `<int>` in\n",
-    "\n",
-    "```<int> ::= <int><digit>```\n",
-    "\n",
+    "```\n",
+    "<int> ::= <int><digit>\n",
+    "```\n",
     "make that\n",
-    "\n",
-    "```<int> ::= <int><digit>\n",
+    "```\n",
+    "<int> ::= <int><digit>\n",
     "<int'> ::= <int'><digit'>\n",
     "```\n",
     "\n",