Re: safe-string option not working in toplevel ? "[email protected] [ocaml_beginners]" <[email protected]> 06 May 2015 02:21:58 -0700 Newsgroups gmane.comp.lang.ocaml.beginners Message-ID <[email protected]> Got it, thanks.