diff --git a/src/plugins/mpfr/mpfr.ml b/src/plugins/mpfr/mpfr.ml
index b6f1048d6ada27f6830d80da4d0cd65788a2ca8d..3dacceebee1c611a2317c3fc4fa7a92d2f71e576 100644
--- a/src/plugins/mpfr/mpfr.ml
+++ b/src/plugins/mpfr/mpfr.ml
@@ -123,9 +123,6 @@ let base_inject_op id =
   | "sqrt" -> "MPFRsqrt"
   | "trunc" -> "MPFRtrunc"
   | "tan" -> "MPFRtan"
-
-           
-  | "pow"    -> "MPFRpow"
   | _        -> raise Not_found
 
 let inject_op id =