Copy, paste, not-modified error on https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.html
Dear Developers,
On https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.html:
-That is, for value 48 the update results in value 99 (2 * 48 + 3 = 99), and for value 49 the update results in value 101 (2 * 48 + 3 = 99).
+That is, for value 48 the update results in value 99 (2 * 48 + 3 = 99), and for value 49 the update results in value 101 (2 * 49 + 3 = 101).
Greetings, Pierre
Edited by Dennis Hendriks