fixups: missing _ in contract_assert in example

notadragon · notadragon · commit 10cb85c6baef · 2025-02-22T10:06:08.000-05:00
diff --git a/source/basic.tex b/source/basic.tex
@@ -7713,7 +7713,7 @@
 void f(int i)
 {
   contract_assert(i > 0);   // \#1
-  contract assert(i < 10);  // \#2
+  contract_assert(i < 10);  // \#2
     // valid sequence of evaluations: \#1 \#2
     // valid sequence of evaluations: \#1 \#1 \#2 \#2
     // valid sequence of evaluations: \#1 \#2 \#1 \#2

Original file line number	Diff line number	Diff line change
`@@ -7713,7 +7713,7 @@`
`7713`	`7713`	`void f(int i)`
`7714`	`7714`	`{`
`7715`	`7715`	`contract_assert(i > 0); // \#1`
`7716`		`- contract assert(i < 10); // \#2`
	`7716`	`+ contract_assert(i < 10); // \#2`
`7717`	`7717`	`// valid sequence of evaluations: \#1 \#2`
`7718`	`7718`	`// valid sequence of evaluations: \#1 \#1 \#2 \#2`
`7719`	`7719`	`// valid sequence of evaluations: \#1 \#2 \#1 \#2`