diff --git a/manticore/core/cpu/x86.py b/manticore/core/cpu/x86.py index 4738d62..bb6d0dd 100644 --- a/manticore/core/cpu/x86.py +++ b/manticore/core/cpu/x86.py @@ -2463,7 +2463,7 @@ class X86Cpu(Cpu): @instruction - def MOV(cpu, dest, src): + def MOV(cpu, dest, src, *rest): # Fake argument to work around capstone issue # 950 ''' Move. @@ -2477,6 +2477,7 @@ class X86Cpu(Cpu): :param cpu: current CPU. :param dest: destination operand. :param src: source operand. + :param rest: workaround for a capstone bug, should never be provided ''' dest.write(src.read())