Index: /Deliverables/D3.4/Report/report.tex
===================================================================
--- /Deliverables/D3.4/Report/report.tex (revision 3235)
+++ /Deliverables/D3.4/Report/report.tex (revision 3236)
@@ -591,5 +591,5 @@
For the simulation we decided to prove a sufficient amount to give us
-confidence in the definitions and approach, but curtail the proof
+confidence in the definitions and approach, but to curtail the proof
because this pass does not contribute to the intensional correctness
result. We tackled several simple cases, that do not interact with