Skip to content

Commit a663cc9

Browse files
committed
CHJ:jchpoly: fix warnings and reformat
1 parent 615828b commit a663cc9

Some content is hidden

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

41 files changed

+8843
-8664
lines changed

CodeHawk/CHJ/jchpoly/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 jchsys zarith)
44
(public_name codehawk.jchpoly)
55
(wrapped false))
6-
7-
(env
8-
(dev
9-
(flags (:standard -warn-error -A))))

0 commit comments

Comments
 (0)