Expose Cil.typeSigAddAttrs

goblint · Sep 29, 2023 · 398dca3 · 398dca3
1 parent 3ea254e
commit 398dca3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/cil.mli b/src/cil.mli
@@ -1527,6 +1527,9 @@ val setTypeSigAttrs: attributes -> typsig -> typsig
 (** Get the top-level attributes of a signature *)
 val typeSigAttrs: typsig -> attributes
 
+(** Add some attributes to a typsig *)
+val typeSigAddAttrs: attributes -> typsig -> typsig
+
 (*********************************************************)
 (**  {b Lvalues} *)