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: 
  let _z3url = "https://github.com/FStarLang/binaries/tree/master/z3-tested"
  
  let z3hash_warning_message () =
      let _, out, _ = BU.run_proc (Options.z3_exe()) "-version" "" in
      match splitlines out with
      | x :: _ ->
          begin
  
negative.code:         end
      | _ -> Some "No Z3 version string found"
  
  let z3hash_warning_message () =
      let run_proc_result =
          try
              Some (BU.run_proc (Options.z3_exe()) "-version" "")
          with _ -> None
      in
      match run_proc_result with
      | None -> Some (FStar.Errors.EError, "Could not run Z3")
      | Some (_, out, _) ->
          begin match parse_z3_version_lines out with
          | None -> None
          | Some msg -> Some (FStar.Errors.EWarning, msg)
          end
  
  let check_z3hash () =
      if not !_z3hash_checked
      then begin
          _z3hash_checked := true;
          match z3hash_warning_message () with
          | None -> ()
          | Some (level, msg) ->
            let msg =
                BU.format4
                    "%s\n%s\n%s\n%s\n"
  