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 session? Are you starting the session from scratch, or rebuilding HOL Light on top of an existing session that had HOL Light already built? Are you using a very recent download of HOL Light? Do you know the SVN release number, or roughly the date you downloaded? Mark. on 28/5/15 7:13 PM, Robert White <ai.robert.wangsh...@gmail.com> wrote: > 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 > > > > ---------------------------------------- > > ---------------------------------------------------------------------------- > -- > > > > ---------------------------------------- > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info > > > ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
