From 6e63423374d03c2c55383e19586e3d1b89a9df73 Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Wed, 14 Oct 2009 03:27:34 -0400 Subject: [PATCH] update Signed-off-by: Mathieu Desnoyers --- ticketlock-testwait/mem-progress.spin | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/ticketlock-testwait/mem-progress.spin b/ticketlock-testwait/mem-progress.spin index 818f445..c503fba 100644 --- a/ticketlock-testwait/mem-progress.spin +++ b/ticketlock-testwait/mem-progress.spin @@ -54,15 +54,11 @@ inline do_pause() { if :: need_pause() -> - if + do :: 1 -> - do - :: 1 -> - skip; - od; - :: 1 -> skip; - fi; - :: else -> + skip; + od; + :: 1 -> skip; fi; } -- 2.34.1