docs: In rust.md, replace 'print' with 'println' to match points example

This commit is contained in:
Benjamin Herr 2012-07-09 04:24:21 +02:00
parent abd0de5d5c
commit 2dae18234d

View File

@ -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