Skip to content

Instantly share code, notes, and snippets.

@tomprince
Created March 5, 2011 09:16
Show Gist options
  • Save tomprince/856246 to your computer and use it in GitHub Desktop.
Save tomprince/856246 to your computer and use it in GitHub Desktop.
diff --git a/generic/pg-user.el b/generic/pg-user.el
index 9ff2206..5aaefa1 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1317,7 +1317,7 @@ assuming the undo-in-region behavior will apply if ARG is non-nil."
(goto-char (point-max))
(proof-assert-until-point
(if proof-multiple-frames-enable
- 'no-minibuffer-messages ; nb: not API
+ '(no-minibuffer-messages) ; nb: not API
'(no-response-display
no-error-display
no-goals-display))))
@@ -1342,7 +1342,7 @@ assuming the undo-in-region behavior will apply if ARG is non-nil."
(message "Trying next commands in prover...")
(proof-assert-until-point
(if proof-multiple-frames-enable
- 'no-minibuffer-messages ; nb: not API
+ '(no-minibuffer-messages) ; nb: not API
'(no-response-display
no-error-display
no-goals-display))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment