diff --git a/src/tactic/arith/purify_arith_tactic.h b/src/tactic/arith/purify_arith_tactic.h
index 7303a2791..f65fa2cac 100644
--- a/src/tactic/arith/purify_arith_tactic.h
+++ b/src/tactic/arith/purify_arith_tactic.h
@@ -78,7 +78,6 @@ tactic * mk_purify_arith_tactic(ast_manager & m, params_ref const & p = params_r
 
 /*
   ADD_TACTIC("purify-arith", "eliminate unnecessary operators: -, /, div, mod, rem, is-int, to-int, ^, root-objects.", "mk_purify_arith_tactic(m, p)")
-  ADD_SIMPLIFIER("purify-arith", "eliminate unnecessary operators: -, /, div, mod, rem, is-int, to-int, ^, root-objects.", "alloc(purify_arith_simplifier, m, p, s)")
 */