We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8e1cb72 commit 1f632b2Copy full SHA for 1f632b2
plugins/primus_loader/primus_loader_basic.ml
@@ -22,7 +22,8 @@ module Make(Param : Param)(Machine : Primus.Machine.S) = struct
22
module Val = Primus.Value.Make(Machine)
23
24
let make_word addr =
25
- Machine.gets Project.target >>| Theory.Target.bits >>| fun width ->
+ Machine.gets Project.target >>|
26
+ Theory.Target.code_addr_size >>| fun width ->
27
Addr.of_int64 ~width addr
28
29
let set_word name x =
0 commit comments