path: root/xacml-proofs/compiler/bin/main.ml

open Core
open Compiler

let () =
  let file_name = Array.get (Sys.get_argv ()) 1 in
  let policy_code = In_channel.read_all file_name in
  compile' policy_code |> Stdio.print_endline