ligo/setup.ml
Jeremie Dimino f255c375a0 113.24.00
2016-01-12 17:20:06 +00:00

7 lines
91 B
OCaml

(* OASIS_START *)
open OASISDynRun;;
open OASISTypes;;
(* OASIS_STOP *)
let () = setup ()