From fc5bedd1d967383a6f1e8eac73121af13e23fd04 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 11 May 2018 14:47:22 +0200
Subject: [PATCH] fix typos
---
notebooks/manual/ExternalFunctions.ipynb | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/notebooks/manual/ExternalFunctions.ipynb b/notebooks/manual/ExternalFunctions.ipynb
index 2c450d9..61042fb 100644
--- a/notebooks/manual/ExternalFunctions.ipynb
+++ b/notebooks/manual/ExternalFunctions.ipynb
@@ -1288,9 +1288,9 @@
"source": [
"### FORMAT_TO_STRING\n",
"This external function takes a format string and a B sequence of values and generates an output string, where the values have been inserted into the format string in place of the `~w` placeholders.\n",
- " - the length of sequence must correspond to the number of \\verb+~w+ in the format string.\n",
+ " - the length of sequence must correspond to the number of `~w` in the format string.\n",
" - the format string follows the conventions of SICStus Prolog.\n",
- " E.g., one can use \\verb+~n+ for newlines.\n",
+ " E.g., one can use `~n` for newlines.\n",
"\n",
"\n",
"Type: $(STRING*seq(\\tau)) \\rightarrow STRING$."
--
GitLab