Skip to content

Commit 20b71bb

Browse files
committed
CHJ: fix warnings and reformat
1 parent 670c60e commit 20b71bb

File tree

2 files changed

+650
-439
lines changed

2 files changed

+650
-439
lines changed

CodeHawk/CHJ/jchpre/jCHBcPattern.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
The MIT License (MIT)
66
77
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

0 commit comments

Comments
 (0)