@@ -1034,8 +1034,8 @@ For example:
1034 className : String
1034 className : String
1036**Note** that it is no longer possible to use the ``addStudent``
1036**Note** that it is no longer possible to use the ``addStudent``
1037−method from earlier as that would change the size of the class. A
1037+function from earlier, since that would change the size of the class. A
1038−method to add a student must now specify in the type that the
1038+function to add a student must now specify in the type that the
1039size of the class has been increased by one. As the size is specified
1039size of the class has been increased by one. As the size is specified
1040using natural numbers, the new value can be incremented using the
1040using natural numbers, the new value can be incremented using the
1041``S`` constructor.
1041``S`` constructor.