void function error - Githubissues

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

492 stars 89 forks source link

void function error #734

Open ZHANGTIANYAO1 opened 9 months ago

ZHANGTIANYAO1 commented 9 months ago

I am keep get this error when I am using doom emacs on nix os,

Debugger entered--Lisp error: (void-function proof-segment-up-to)
  proof-segment-up-to(820 nil)
  proof-segment-up-to-using-cache(820)
  proof-assert-until-point()
  proof-goto-point(nil)
  funcall-interactively(proof-goto-point nil)
  command-execute(proof-goto-point)

Can anyone help me to solve this?