Emacs takes 100% CPU when adding a new line at the end of a file.

[Martin Constantino–Bodin]

Hi,
I’m not used with Emacs (I’m more a Vim user) but as it includes a module “ProofGeneral” to work with Coq, I was working on it. The “Evil” package was active too. Both of those package were installed throw “el-get”: there shouldn’t be any installation problem with my packages.
It seems that each time I’m going to the end (with Evil keymap “G”) and adding a new line (by going to insert mode and typing <enter>) on a Coq file, Emacs takes 100% of the CPU. I had to kill it each time (I’ve tested it several times on my Coq file).
I’ve here launch apport-bug when it appears, I hope there will be enough informations to debug this.
Since I do not know if the problem comes from ProofGeneral, Evil or Emacs itself, I’m declaring it there.
Thanks by advance!
Martin.

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: emacs23-nox 23.3+1-1ubuntu4
ProcVersionSignature: Ubuntu 3.0.0-19.33-generic 3.0.27
Uname: Linux 3.0.0-19-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 1.23-0ubuntu4
Architecture: amd64
CheckboxSubmission: 01a18e0a74cbde3d34a62f62830ed079
CheckboxSystem: f134069bba098730d27f59b402920826
Date: Thu Apr 26 14:19:09 2012
ExecutablePath: /usr/bin/emacs23-nox
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012)
SourcePackage: emacs23
UpgradeStatus: No upgrade log present (probably fresh install)

[Marius B. Kotsbak (mariusko)]

Try upgrading to Ubuntu Precise and see if that solves the problem. It contains a newer version of Emacs.

[Martin Constantino–Bodin (martin-bodin)]

Hi,
It is still there even after upgrading. I guess this is not Emacs’ fault, but rather ProofGeneral’s one (or other module).
I’ve declared a new bug and I’m marking this one as a dupplicate: Apport’s informations may be more precise if they are from the right version.
Martin.