--
You received this message because you are subscribed to the Google Groups "PreTeXt development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pretext-dev...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pretext-dev/4f1a5784-b466-44a4-af12-c219ddb2a6d6n%40googlegroups.com.
Hi Jeremy,
This turned out to be a CLI bug: the error was caused by codechat trying to parse the file for that section.
Oscar was able to change things in 2.5.2 so that this becomes a warning, rather than a critical error.
To view this discussion on the web visit https://groups.google.com/d/msgid/pretext-dev/CALMYOndu0OiKo_ttx30G085NubzLVw6PCdVR%2BurXNfmpsLDwug%40mail.gmail.com.