No longer compiling

Stream: PrimeNumberTheorem+

[Alex Kontorovich]

Argh. I don't know what I did wrong, but now it's not building. I'm getting an error that: "ERROR: Label 'PerronFormulaGtOne' could not be resolved". I'd moved some things around, but I don't see what's wrong with PerronFormulaGtOne...? Does anyone see how to fix it? Thanks!...

[Yaël Dillies]

Did you not accidentally change the namespace?

[Alex Kontorovich]

Hmm not that I can tell?… I did open Real at some point but I can’t imagine that that’s what broke it?… When I make blueprint locally, it generates the TeX. … Any other ideas? Thanks!

[Arend Mellendijk]

I'm not familiar with blueprint, but could this line be the culprit? All other comments start with /-%%.

[Alex Kontorovich]

You found it!!! Thank you!