[stacktrace.basic.obs] Append 'is \tcode{true}'

jensmaurer · tkoeppe · commit 66a74de1ef3f · 2020-12-14T01:54:59.000Z
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -21672,7 +21672,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{frame_no < size()}.
+\tcode{frame_no < size()} is \tcode{true}.
 
 \pnum
 \returns
