Skip to content

Commit abdedee

Browse files
committed
twine requires 64 bits
1 parent 2af6896 commit abdedee

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/twine/imandrakit_twine.ml

+2
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,8 @@ module Decode = Decode
6767
module Dump = Dump
6868
module Util = Util
6969

70+
let () = if Sys.word_size < 64 then failwith "sorry, twine requires 64bits"
71+
7072
type immediate = Immediate.t
7173
type offset = Types.offset [@@deriving eq, show, ord]
7274

0 commit comments

Comments
 (0)