Author: Ivan Gankevich <email@example.com>
Date: Tue, 16 May 2017 11:35:38 +0300
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/body.tex b/src/body.tex
@@ -233,7 +233,7 @@ possible (only the other way round). Subordinate deletion is necessary, because
the whole computational step, modelled by the principal, is re-executed from
the initial state, and there is no simple and reliable way of taking into
account partial results which were produced so far by the subordinates.
-Simultaneous failure of a combination of a principal and a numbero of its
+Simultaneous failure of a combination of a principal and a number of its
subordinates is handled the same way.