X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=report%2Freflection.bottlenecks.tex;h=88dc6adcce03b3547985a856fa4dcb25d4e3d245;hb=7b4f3b58aaa2b1f15acaacfb28f5ce20903f7c5e;hp=42ced328a92ca60341d30857606366d9514faff8;hpb=41e1696df352f4a6b1e57d2ab53759e35cd4be7a;p=ssproject1617.git

diff --git a/report/reflection.bottlenecks.tex b/report/reflection.bottlenecks.tex
index 42ced32..88dc6ad 100644
--- a/report/reflection.bottlenecks.tex
+++ b/report/reflection.bottlenecks.tex
@@ -29,10 +29,10 @@ requirement fails in \emph{one} case.
 
 % Verifying each other's results
 The final bottleneck we like to note concerns the verifying of each other's
-results. When verifying the results of your group members (collegues) it may be
+results. When verifying the results of your group members (colleagues) it may be
 difficult to fully double-check their work. This touches upon the previous
 point, for when a counterexample is giving it is trivial to see the result is
 correct. However when a member of the group passes a requirement it will take
 more time to verify this is the correct verdict. In the end we are confident of
 our results, but this may be a bottleneck which can be addressed in the initial
-organisation.
+organization.