Re: [Metamath] *** BUG #1501 Metamath - Version 0.199.pre 29-Jan-2022

Wed, 23 Apr 2025 08:43:03 -0700 


> On Apr 22, 2025, at 7:05 PM, Caleb Nwokocha <[email protected]> wrote:
> 
> Metamath Group,
> 
> I compiled Metamath source code on Windows 10 to make the executable program. 
> Then I opened the program and it showed:
> 
> *** BUG #1501

I don't have a Windows 10 machine so I can't reproduce this.

What compiler did you use? How did you compile it?
A quick solution might be to use a different compiler.

Here's some context:
"BUG #1501" is the result of a failed self-check in file mminou.c.
It's invoked in function "print2", a printing function like printf except
it can also log & scroll. It's triggered when
"backBufferPos == 0)" and "pntrLen(backBuffer)" is true;
this should never happen.

--- David A. Wheeler

-- 
You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/metamath/0564D88A-4867-45D2-989E-C53A70B8CFF9%40dwheeler.com.






















					Reply via email to