I got an error trying to produce a pretty printed PDF version of a TLA+ program. I have attached an image of the error I got. I am using the nightly build TLAToolbox-1.5.4-macosx.cocoa.x86_64.
I verified that the directory SimpleProgram.toolbox exists with a SimpleProgram.tex file and I even tried to change the permission of the directory to 777 for all users but I still get the below error.
Thanks
Kapil