anchor.diff:                  Some path
                 else
                   None))
  -    with _ -> 
  +    with _ ->
         None
   
   let prims () = match !prims_ref with
  -  | None -> 
  +  | None ->
       (let filen = "prims.fst" in
       match find_file filen with
       | Some result ->
  
positive.code:      (Util.print_string "Wrong argument to codegen flag\n";
        display_usage (specs ()); exit 1)
  and validate_cardinality x = match x with
      | "warn" 
      | "check"
      | "off" -> x
      | _ ->   (Util.print_string "Wrong argument to cardinality flag\n";
  
negative.code:    * installation (into /usr/local for instance) *)
    let h = get_fstar_home () in
    !_include_path @ ["."; h ^ "/lib"; h ^ "/lib/fstar"; h ^ "/stdlib" ; h ^ "/stdlib/fstar"]
  
  let find_file filename =
      let search_path = get_include_path () in
      try
  