Skip to content

Commit afd0d29

Browse files
committed
fixup! OxCaml: setup CI
1 parent 3cfc0a5 commit afd0d29

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

tools/ci_setup-oxcaml.ml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -241,6 +241,16 @@ index 7996514..d0b463a 100644
241241
+ (library (name zarith_wrapper)
242242
+ (wrapped false)
243243
+ (libraries zarith)))
244+
diff --git a/test/zarith.ml b/test/zarith.ml
245+
index 059d011..b40264e 100644
246+
--- a/test/zarith.ml
247+
+++ b/test/zarith.ml
248+
@@ -1,5 +1,4 @@
249+
module Big_int_Z = Big_int_Z
250+
module Q = Q
251+
module Z = Z
252+
-module Zarith = Zarith
253+
module Zarith_version = Zarith_version
244254
|zs}
245255
)
246256
]

0 commit comments

Comments
 (0)