On MacOS 10.5.7, using Open-Axiom 1.3.0 on sbcl 1.0.30, when I start from the HyperDoc window that loads at opening, click on Basic Commands, then Solve, it does not open and gives the following error:
CORRUPTION WARNING in SBCL pid 8460:
Memory fault at b (pc=0x93c79258, sp=0x11ffc9c)
The integrity of this image is possibly compromised.
Continuing with fingers crossed.
>> System error:
Unhandled memory fault at #xB.
Log in to post a comment.