1 files changed, 2 insertions, 0 deletions

diff --git a/bin/rtspin.c b/bin/rtspin.c
index 8006840..369b7c3 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -323,6 +323,8 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len
                 if (check_fz)
                         litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length));
                 loop_for(cs_length, program_end + 1);
+                if (check_fz)
+                        litmus_exit_forbidden_zone(lock_od);
                 litmus_unlock(lock_od);
 
                 /* non-critical section */