Hello Everyone,<div><br /></div><div>I was going through the tutorial and ran into a problem. When using the "+f" switch, it does not allow me to send the output to a permanent file. I was using the example materials and it kept giving me the same response which is "Can't create file "sample.mlu.cex", perhaps it is opened by another application". I do not know how to fix this. I am using an iMac 2021, with Ventura 13.5.2.</div><div><br /></div><div>Any help that you can give me would be appreciated</div><div><br /></div><div>Thank you!</div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "chibolts" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:chibolts+unsubscribe@googlegroups.com">chibolts+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/chibolts/28fcc894-5f36-49fd-abe0-9feb252a4be9n%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/chibolts/28fcc894-5f36-49fd-abe0-9feb252a4be9n%40googlegroups.com</a>.<br />