Skip to content

Commit

Permalink
Remove duplicate setting path from OCAML_TOPLEVEL_PATH
Browse files Browse the repository at this point in the history
Oasis now generates the correct code.
  • Loading branch information
Chris00 committed Jul 21, 2015
1 parent 74bcb2c commit f1ee33f
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions setup.ml
Expand Up @@ -20,12 +20,6 @@
(* USA. *)
(***************************************************************************)

(* setup.ml generated for the first time by OASIS v0.3.0 *)

let () =
try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
with Not_found -> ();;

(* OASIS_START *)
(* DO NOT EDIT (digest: 9852805d5c19ca1cb6abefde2dcea323) *)
(******************************************************************************)
Expand Down

0 comments on commit f1ee33f

Please sign in to comment.