diff --git a/lifter/Semantics.cpp b/lifter/Semantics.cpp
index a6df3f9..432fb54 100644
--- a/lifter/Semantics.cpp
+++ b/lifter/Semantics.cpp
@@ -3050,7 +3050,6 @@ void lifterClass::lift_xadd() {
   SRC := DEST;
   DEST := TEMP;
   */
-  printvalue(Lvalue) printvalue(Rvalue) printvalue(sumValue)
 
   auto cf = createOrFolder(createICMPFolder(CmpInst::ICMP_ULT, TEMP, Lvalue),
                            createICMPFolder(CmpInst::ICMP_ULT, TEMP, Rvalue));