anchor.diff:                    _z3url
                     "and add the bin/ subdirectory into your PATH"
             in
  -          FStar.Errors.add_one (FStar.Errors.mk_issue FStar.Errors.EWarning None msg)
  +          FStar.Errors.add_one (FStar.Errors.mk_issue level None msg)
       end
   
   let ini_params () =
  
positive.code:         end
      | _ -> Some "No Z3 version string found"
  
  let check_z3hash () =
      if not !_z3hash_checked
      then begin
          _z3hash_checked := true;
          match z3hash_warning_message () with
          | None -> ()
          | Some msg ->
            let msg =
                BU.format4
                    "%s\n%s\n%s\n%s\n"
  
negative.code: 
  let _z3url = "https://github.com/FStarLang/binaries/tree/master/z3-tested"
  
  let parse_z3_version_lines out =
      match splitlines out with
      | x :: _ ->
          begin
  