diff options
| author | Christopher Pulte | 2016-10-11 08:18:22 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-11 08:18:22 +0100 |
| commit | fd67067a8adc95617a70152f8a896016d210d604 (patch) | |
| tree | b157095dd802cc473a57a1033fbf4870bf75177e /src/pretty_print.mli | |
| parent | 966daf663e0e5c816f5d2dad2a181e27bfcb7148 (diff) | |
move armv8_extras and power_extras to idl/power and idlarm, fixes
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.mli b/src/pretty_print.mli index 43680643..4b51db8a 100644 --- a/src/pretty_print.mli +++ b/src/pretty_print.mli @@ -10,4 +10,4 @@ val pat_to_string : tannot pat -> string val pp_lem_defs : Format.formatter -> tannot defs -> unit val pp_defs_ocaml : out_channel -> tannot defs -> string -> string list -> unit -val pp_defs_lem : out_channel -> out_channel -> tannot defs -> string -> string list -> unit +val pp_defs_lem : out_channel -> tannot defs -> string -> string list -> unit |