Skip to content

Commit 615828b

Browse files
committed
CHJ:jchsys: fix warnings and reformat
1 parent 340cbf1 commit 615828b

39 files changed

+3524
-3538
lines changed

CodeHawk/CHJ/jchlib/dune

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,3 @@
33
(libraries chlib chutil extlib str zarith zip)
44
(public_name codehawk.jchlib)
55
(wrapped false))
6-
7-
(env
8-
(dev
9-
(flags (:standard -warn-error -A))))

CodeHawk/CHJ/jchpre/dune

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,3 @@
33
(libraries chlib chutil extlib jchlib zip)
44
(public_name codehawk.jchpre)
55
(wrapped false))
6-
7-
(env
8-
(dev
9-
(flags (:standard -warn-error -A))))

CodeHawk/CHJ/jchsys/dune

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,3 @@
33
(libraries chlib chutil jchlib jchpre zarith)
44
(public_name codehawk.jchsys)
55
(wrapped false))
6-
7-
(env
8-
(dev
9-
(flags (:standard -warn-error -A))))

CodeHawk/CHJ/jchsys/jCHAnalysisSetUp.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
The MIT License (MIT)
66
77
Copyright (c) 2005-2020 Kestrel Technology LLC
8-
Copyright (c) 2020-2024 Henny Sipma
8+
Copyright (c) 2020-2025 Henny B. Sipma
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal

CodeHawk/CHJ/jchsys/jCHAnalysisSetUp.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
The MIT License (MIT)
66
77
Copyright (c) 2005-2020 Kestrel Technology LLC
8-
Copyright (c) 2020-2024 Henny Sipma
8+
Copyright (c) 2020-2025 Henny B. Sipma
99
1010
Permission is hereby granted, free of charge, to any person obtaining a copy
1111
of this software and associated documentation files (the "Software"), to deal

0 commit comments

Comments
 (0)