<div dir="ltr">Dear all,<div><br></div><div>I wonder if there is a way I can get rid of the error of :</div><div> <span style="line-height:24px;text-align:justify">Error: Unbound value set_jrh_lexer</span></div><div><div style="text-align:justify"><span style="line-height:24px"><br></span></div><div style="text-align:justify"><span style="line-height:24px">Sometimes it is working sometimes it is not. I am very confused. Is there any advice?</span></div><div style="text-align:justify"><span style="line-height:24px"><br></span></div><div style="text-align:justify"><span style="line-height:24px">Thanks a lot</span></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>Regards,</div><div><a href="http://www.dptinfo.ens-cachan.fr/~swang/" target="_blank">Robert White </a>(Shuai Wang)</div><div><a href="https://www.rocq.inria.fr/deducteam/" target="_blank">INRIA Deducteam</a></div></div></div></div></div></div></div></div></div>
</div></div>