diff --git a/doc/rust.md b/doc/rust.md
index dd419911e818a85ac2c38425791abf5a89493113..e41f1447201efe4e671053c83d69d6988d4b5fd0 100644
--- a/doc/rust.md
+++ b/doc/rust.md
@@ -2871,12 +2871,12 @@ Consists of 2 statements, 3 expressions and 12 points:
 * the point after evaluating the static initializer `"hello, world"`
 * the point after the first statement
 * the point before the second statement
-* the point before evaluating the function value `print`
-* the point after evaluating the function value `print`
-* the point before evaluating the arguments to `print`
+* the point before evaluating the function value `println`
+* the point after evaluating the function value `println`
+* the point before evaluating the arguments to `println`
 * the point before evaluating the symbol `s`
 * the point after evaluating the symbol `s`
-* the point after evaluating the arguments to `print`
+* the point after evaluating the arguments to `println`
 * the point after the second statement
 
 
@@ -2894,9 +2894,9 @@ Consists of 1 statement, 7 expressions and 14 points:
 
 
 * the point before the statement
-* the point before evaluating the function value `print`
-* the point after evaluating the function value `print`
-* the point before evaluating the arguments to `print`
+* the point before evaluating the function value `println`
+* the point after evaluating the function value `println`
+* the point before evaluating the arguments to `println`
 * the point before evaluating the arguments to `+`
 * the point before evaluating the function value `x`
 * the point after evaluating the function value `x`
@@ -2907,7 +2907,7 @@ Consists of 1 statement, 7 expressions and 14 points:
 * the point before evaluating the arguments to `y`
 * the point after evaluating the arguments to `y`
 * the point after evaluating the arguments to `+`
-* the point after evaluating the arguments to `print`
+* the point after evaluating the arguments to `println`
 
 
 The typestate system reasons over points, rather than statements or