From fd8383545adc5f202e8098bd13b3bda3481ad235 Mon Sep 17 00:00:00 2001 From: Travis Staloch Date: Fri, 10 Sep 2021 15:38:49 -0700 Subject: [PATCH] sat-arithmetic: langref - use tags --- doc/langref.html.in | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/doc/langref.html.in b/doc/langref.html.in index 5b3c26b937..e750797997 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -1397,8 +1397,8 @@ a +%= b{#endsyntax#} -
{#syntax#}a +| b
-a +|= b{#endsyntax#}
+
{#syntax#}a +| b
+a +|= b{#endsyntax#}