From 8f1bd75c307bb7a426c2d6447cf278e89f80a20d Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Tue, 3 Oct 2023 12:37:46 +0200
Subject: [PATCH] Comment on `Sem*` specials that they are unused

---
 src/analyses/libraryDesc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/analyses/libraryDesc.ml b/src/analyses/libraryDesc.ml
index 06a9b7e55b..c93e56f4d0 100644
--- a/src/analyses/libraryDesc.ml
+++ b/src/analyses/libraryDesc.ml
@@ -57,6 +57,7 @@ type special =
   | Broadcast of Cil.exp
   | MutexAttrSetType of { attr:Cil.exp; typ: Cil.exp; }
   | MutexInit of { mutex:Cil.exp; attr: Cil.exp; }
+  (* All Sem specials  are not used yet-*)
   | SemInit of { sem: Cil.exp; pshared: Cil.exp; value: Cil.exp; }
   | SemWait of { sem: Cil.exp; try_:bool; timeout: Cil.exp option;}
   | SemPost of Cil.exp