[opentheory-users] question about camlp5

[Robert White]

Dear all,

I wonder if there is a way I can get rid of the error of :
 Error: Unbound value set_jrh_lexer

Sometimes it is working sometimes it is not. I am very confused. Is there
any advice?

Thanks a lot

-- 

Regards,
Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150528/18be2bca/attachment.html>