diff --git a/src/library/tactic/simp_lemmas.cpp b/src/library/tactic/simp_lemmas.cpp
index 7d4c43a958..f6b62dd3fc 100644
--- a/src/library/tactic/simp_lemmas.cpp
+++ b/src/library/tactic/simp_lemmas.cpp
@@ -187,8 +187,10 @@ format simp_lemma::pp(formatter const & fmt) const {
         r += space() + paren(format(get_priority()));
     if (is_refl())
         r += space() + format("defeq");
+    /*
     if (is_permutation())
         r += space() + format("perm");
+    */
     if (kind() == simp_lemma_kind::Congr) {
         format r1;
         for (expr const & h : get_congr_hyps()) {