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

jensmaurer · tkoeppe · commit aa33b2e62cc0 · 2020-12-14T01:54:59.000Z
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -21493,7 +21493,7 @@
 
 \pnum
 \expects
-\tcode{skip <= skip + max_depth}.
+\tcode{skip <= skip + max_depth} is \tcode{true}.
 
 \pnum
 \returns
