-
Notifications
You must be signed in to change notification settings - Fork 85
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
File mode specification error: (void-variable coq-cmd-force-next-proof-kept) #775
Comments
I did restart emacs a few times hoping the thing will solve itself , didnt help |
Hi @DaKnig, thanks for your report! Could you give more details on your configuration? (OS and (if applicable) Linux distribution, @hendriktews could you take a look? the reported error mentions the custom you had introduced in: 0a793db |
@DaKnig can you also run the following code and paste its output? $ |
Can you retry without company-coq? |
If you need a workaround, put
in your |
Steps to reproduce:
package-install RET proof-general
package-install RET company-coq
.v
this error is reported again when re-enabling coq-mode
The text was updated successfully, but these errors were encountered: