File tree Expand file tree Collapse file tree 3 files changed +1
-3
lines changed Expand file tree Collapse file tree 3 files changed +1
-3
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,6 @@ let next_multitude_of ~n x = (x + (n - 1)) land lnot (n - 1)
1212let padding alignment offset =
1313 let align = Size. in_bits alignment in
1414 (align - (offset mod align)) mod align
15- [@@ deprecated " since [2021-05] this method is ignored" ]
1615
1716let max_enum_elt xs =
1817 List. fold xs ~init: None ~f: (fun m (_ , x ) ->
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ val padding : Size.t -> int -> int
1818 ensure the [alignment].
1919
2020 @since 2.5.0 *)
21+ [@@ deprecated "since [2021-05] this method is ignored" ]
2122
2223val max_enum_elt : (string * int64 option ) list -> int64
2324(* * [max_enum_elt enum] returns the maximum element in the enum specification.
Original file line number Diff line number Diff line change 1010 - a conqueror, that is an IR interpreter, that tries to cover as much code
1111 as needed. *)
1212
13- [@@@ deprecated " [since 2017-04] use Primus instead" ]
14-
1513module Std = struct
1614 module Concretizer = Microx_concretizer
1715 module Conqueror = Microx_conqueror
You can’t perform that action at this time.
0 commit comments