diff --git a/compiler/include/concretelang/Conversion/FHEToTFHE/Patterns.td b/compiler/include/concretelang/Conversion/FHEToTFHE/Patterns.td
index e3cd8105e..d52eed426 100644
--- a/compiler/include/concretelang/Conversion/FHEToTFHE/Patterns.td
+++ b/compiler/include/concretelang/Conversion/FHEToTFHE/Patterns.td
@@ -24,11 +24,11 @@ def AddEintPattern : Pat<
     (AddEintOp:$result $arg0, $arg1),
     (createAddGLWEOp $arg0, $arg1, $result)>;
 
-def createSubIntGLWEOp : NativeCodeCall<"mlir::concretelang::createGLWEOpFromFHE<mlir::concretelang::TFHE::SubIntGLWEOp>($_builder, $_loc, $0, $1, $2)">;
+def createSubGLWEIntOp : NativeCodeCall<"mlir::concretelang::createGLWEOpFromFHE<mlir::concretelang::TFHE::SubGLWEIntOp>($_builder, $_loc, $0, $1, $2)">;
 
 def SubIntEintPattern : Pat<
     (SubIntEintOp:$result $arg0, $arg1),
-    (createSubIntGLWEOp $arg0, $arg1, $result)>;
+    (createSubGLWEIntOp $arg0, $arg1, $result)>;
 
 def createNegGLWEOp : NativeCodeCall<"mlir::concretelang::createGLWEOpFromFHE<mlir::concretelang::TFHE::NegGLWEOp>($_builder, $_loc, $0, $1)">;
 
diff --git a/compiler/include/concretelang/Conversion/TFHEToConcrete/Patterns.td b/compiler/include/concretelang/Conversion/TFHEToConcrete/Patterns.td
index 06b90f669..80778ebe3 100644
--- a/compiler/include/concretelang/Conversion/TFHEToConcrete/Patterns.td
+++ b/compiler/include/concretelang/Conversion/TFHEToConcrete/Patterns.td
@@ -32,8 +32,8 @@ def MulGLWEIntPattern : Pat<
 
 def createSubIntLweOp : NativeCodeCall<"mlir::concretelang::createSubIntLweCiphertext($_builder, $_loc, $0, $1, $2)">;
 
-def SubIntGLWEPattern : Pat<
-    (SubIntGLWEOp:$result $arg0, $arg1),
+def SubGLWEIntPattern : Pat<
+    (SubGLWEIntOp:$result $arg0, $arg1),
     (createSubIntLweOp $arg0, $arg1, $result)>;
 
 def createNegLweOp : NativeCodeCall<"mlir::concretelang::createNegLweCiphertext($_builder, $_loc, $0, $1)">;
diff --git a/compiler/include/concretelang/Dialect/TFHE/IR/TFHEOps.td b/compiler/include/concretelang/Dialect/TFHE/IR/TFHEOps.td
index f31871e06..826422916 100644
--- a/compiler/include/concretelang/Dialect/TFHE/IR/TFHEOps.td
+++ b/compiler/include/concretelang/Dialect/TFHE/IR/TFHEOps.td
@@ -51,7 +51,7 @@ def AddGLWEOp : TFHE_Op<"add_glwe"> {
   let hasVerifier = 1;
 }
 
-def SubIntGLWEOp : TFHE_Op<"sub_int_glwe"> {
+def SubGLWEIntOp : TFHE_Op<"sub_int_glwe"> {
   let summary = "Substracts an integer and a GLWE ciphertext";
 
   let arguments = (ins AnyInteger : $a, GLWECipherTextType : $b);
diff --git a/compiler/lib/Conversion/TFHEGlobalParametrization/TFHEGlobalParametrization.cpp b/compiler/lib/Conversion/TFHEGlobalParametrization/TFHEGlobalParametrization.cpp
index a749e0303..c979ce1d0 100644
--- a/compiler/lib/Conversion/TFHEGlobalParametrization/TFHEGlobalParametrization.cpp
+++ b/compiler/lib/Conversion/TFHEGlobalParametrization/TFHEGlobalParametrization.cpp
@@ -239,7 +239,7 @@ void populateWithTFHEOpTypeConversionPatterns(
   populateWithTFHEOpTypeConversionPattern<mlir::concretelang::TFHE::AddGLWEOp>(
       patterns, target, typeConverter);
   populateWithTFHEOpTypeConversionPattern<
-      mlir::concretelang::TFHE::SubIntGLWEOp>(patterns, target, typeConverter);
+      mlir::concretelang::TFHE::SubGLWEIntOp>(patterns, target, typeConverter);
   populateWithTFHEOpTypeConversionPattern<mlir::concretelang::TFHE::NegGLWEOp>(
       patterns, target, typeConverter);
   populateWithTFHEOpTypeConversionPattern<
diff --git a/compiler/lib/Dialect/TFHE/IR/TFHEOps.cpp b/compiler/lib/Dialect/TFHE/IR/TFHEOps.cpp
index 88e7bc7d4..97dda595d 100644
--- a/compiler/lib/Dialect/TFHE/IR/TFHEOps.cpp
+++ b/compiler/lib/Dialect/TFHE/IR/TFHEOps.cpp
@@ -150,8 +150,8 @@ mlir::LogicalResult AddGLWEOp::verify() {
   return ::mlir::concretelang::TFHE::verifyBinaryGLWEOperator<AddGLWEOp>(*this);
 }
 
-mlir::LogicalResult SubIntGLWEOp::verify() {
-  return ::mlir::concretelang::TFHE::verifyIntegerGLWEOperator<SubIntGLWEOp>(
+mlir::LogicalResult SubGLWEIntOp::verify() {
+  return ::mlir::concretelang::TFHE::verifyIntegerGLWEOperator<SubGLWEIntOp>(
       *this);
 }