diff options
Diffstat (limited to 'docs/tcg-exclusive.promela')
| -rw-r--r-- | docs/tcg-exclusive.promela | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/tcg-exclusive.promela b/docs/tcg-exclusive.promela index 5889b40638..8bb0967df6 100644 --- a/docs/tcg-exclusive.promela +++ b/docs/tcg-exclusive.promela @@ -124,7 +124,6 @@ byte has_waiter[N_CPUS]; } \ :: else -> skip; \ fi; \ - exclusive_idle(); \ MUTEX_UNLOCK(mutex); // Promela processes |