From 5655cfc46ceb132c3e0394f9450d8f1535ea1312 Mon Sep 17 00:00:00 2001
From: David Swasey <swasey@mpi-sws.org>
Date: Thu, 9 Nov 2017 13:03:41 +0100
Subject: [PATCH] Naming: s  for stuckness bits.

---
 naming.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/naming.txt b/naming.txt
index 056cad643..ed87ef4c3 100644
--- a/naming.txt
+++ b/naming.txt
@@ -14,10 +14,10 @@ l
 m : iGst = ghost state
 n
 o
-p : progress bits
+p
 q
 r : iRes = resources
-s : state (STSs)
+s : state (STSs), stuckness bits
 t
 u
 v : val = values of language
-- 
GitLab