Merge pull request #182 from ligurio/ligurio/fix-markup

Fix broken markup in ConfigurationFuzzer
uds-se · Oct 15, 2024 · 6d449a2 · 6d449a2
2 parents b03dca3 + 0646433
commit 6d449a2
Showing 1 changed file with 5 additions and 5 deletions.
diff --git 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",