X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow%2Furcu.spin;fp=formal-model%2Furcu-controldataflow%2Furcu.spin;h=5c377f78879d87bb85505acc7bdb045571b4067a;hb=a60dadc52fed020644e44b346c438a3ccd3a5026;hp=f9341b4c2a7fb5b49c5654f6c7ae8521559ae754;hpb=551ac1a376f4d1e97b9026aa7436fbd0de6a5218;p=urcu.git

diff --git a/formal-model/urcu-controldataflow/urcu.spin b/formal-model/urcu-controldataflow/urcu.spin
index f9341b4..5c377f7 100644
--- a/formal-model/urcu-controldataflow/urcu.spin
+++ b/formal-model/urcu-controldataflow/urcu.spin
@@ -1,5 +1,6 @@
 /*
- * mem.spin: Promela code to validate memory barriers with OOO memory.
+ * mem.spin: Promela code to validate memory barriers with OOO memory
+ * and out-of-order instruction scheduling.
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by