fix typo

org.rodinp.handbook.feature/latex/tutorial-10.tex

@@ -83,7 +83,7 @@ The difference between a ``normal'' invariant and one that is marked as theorem
 }
 
 \begin{rodin-plugin}{prob.png}{ProB}%
-  You can also use ProB to search for deadlocks (after ensuring that ProR is installed).
+  You can also use ProB to search for deadlocks (after ensuring that ProB is installed).
   Right-click on the machine you want to check and start the animation with the
   ``Start Animation / Model Checking'' menu entry.
   After starting the animation, go to the Event View in the ProB perspective