Skip to content

Commit 253d712

Browse files
committed
CHJ:PRE: fix warnings and reformat
1 parent 7eea000 commit 253d712

File tree

81 files changed

+7332
-5541
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

81 files changed

+7332
-5541
lines changed

CodeHawk/CHJ/jchpre/jCHAPISummaryTemplate.ml

Lines changed: 140 additions & 112 deletions
Large diffs are not rendered by default.

CodeHawk/CHJ/jchpre/jCHAPISummaryTemplate.mli

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,8 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2005-2020 Kestrel Technology LLC
7+
Copyright (c) 2005-2020 Kestrel Technology LLC
8+
Copyright (c) 2020-2024 Henny B. Sipma
89
910
Permission is hereby granted, free of charge, to any person obtaining a copy
1011
of this software and associated documentation files (the "Software"), to deal
@@ -25,15 +26,9 @@
2526
SOFTWARE.
2627
============================================================================= *)
2728

28-
(* chutil *)
29-
open CHXmlDocument
30-
3129
(* jchlib *)
3230
open JCHBasicTypesAPI
3331

34-
(* jchpre *)
35-
open JCHPreAPI
36-
3732

3833
val save_xml_class_or_interface_summary: class_name_int -> unit
3934

0 commit comments

Comments
 (0)