Skip to content

Commit 37a3a29

Browse files
committed
fixup! Binary: Add a prefix to x86 instructions.
1 parent 5dbab19 commit 37a3a29

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

binary/ql/lib/semmlecode.binary.dbscheme

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1971,7 +1971,7 @@ register_access(
19711971

19721972
operand(
19731973
unique int id: @operand,
1974-
int instr: @instruction ref,
1974+
int instr: @x86_instruction ref,
19751975
int index : int ref,
19761976
int size : int ref
19771977
);

0 commit comments

Comments
 (0)