diff --git a/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td b/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td index baa2adf82..5c685497e 100644 --- a/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td +++ b/compiler/include/concretelang/Dialect/Concrete/IR/ConcreteOps.td @@ -91,7 +91,7 @@ def EncodeIntOp : Concrete_Op<"encode_int"> { let results = (outs PlaintextType:$plaintext); } -def IntToCleartextOp : Concrete_Op<"int_to_cleartext"> { +def IntToCleartextOp : Concrete_Op<"int_to_cleartext", [NoSideEffect]> { let summary = "Keyswitches a LWE ciphertext"; let arguments = (ins AnyInteger:$i);