Hi Robert,
Could you provide more information about the circumstances when it fails?
Specifically, which versions of OCaml and Camlp5 are you using? Execute the
following in a terminal window:
ocaml -version
camlp5 -v
Does this error arise when building HOL Light from source in an OCaml
se
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
--
