1 files changed, 1 insertions, 1 deletions
diff --git a/af2/af2.el b/af2/af2.el
index 505b4c39..38f423cf 100644
--- a/af2/af2.el
+++ b/af2/af2.el
@@ -117,7 +117,7 @@
       "\\(prop\\|proposition\\|lem\\|lemma\\|fact\\|cor\\|corollary\\|theo\\|theorem\\)"
       af2-comments-regexp
       af2-ident-regexp)
-   proof-non-undoables-regexp      "\\(constraints\\|flags\\|goals\\"
+   proof-ignore-for-undo-count      "constraints\\|flags\\|goals\\|print\\|print_sort\\|eshow\\|search\\|priority\\|depend"
    proof-goal-with-hole-result     5
    proof-save-with-hole-regexp     (concat 
       "save"