Punctuation

goblint · Oct 3, 2023 · 960b023 · 960b023
1 parent 0e77bc2
commit 960b023
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/libraryDesc.ml b/src/analyses/libraryDesc.ml
@@ -57,7 +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-*)
+  (* 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