Skip to content

Commit 6360600

Browse files
committed
Expose Cil.d_castkind
1 parent 181b4e9 commit 6360600

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

src/cil.mli

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2397,6 +2397,9 @@ val d_binop: unit -> binop -> Pretty.doc
23972397
(** Pretty-print a unary operator *)
23982398
val d_unop: unit -> unop -> Pretty.doc
23992399

2400+
(** Pretty-print a cast kind *)
2401+
val d_castkind: unit -> castkind -> Pretty.doc
2402+
24002403
(** Pretty-print an attribute using {!defaultCilPrinter} *)
24012404
val d_attr: unit -> attribute -> Pretty.doc
24022405

0 commit comments

Comments
 (0)