1 files changed, 1 insertions, 1 deletions

diff --git a/bin/rtspin.c b/bin/rtspin.c
index a47e3e7..a0deea8 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -331,7 +331,7 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len
                 if (lock_res != 0)
                         printf("Result of lock call: %d\n", lock_res);
                 if (check_fz)
-                        litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length));
+                        litmus_access_forbidden_zone_check(lock_od, s2ns(1.1*cs_length), s2ns(1.1*cs_length));
                 loop_for(cs_length, program_end + 1);
                 if (check_fz)
                 {