diff options
Diffstat (limited to 'xacml-proofs/compiler/bin/main.ml')
| -rw-r--r-- | xacml-proofs/compiler/bin/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xacml-proofs/compiler/bin/main.ml b/xacml-proofs/compiler/bin/main.ml index 946d65d..80a4844 100644 --- a/xacml-proofs/compiler/bin/main.ml +++ b/xacml-proofs/compiler/bin/main.ml @@ -5,4 +5,4 @@ let () = let argv = Sys.get_argv () in let file_names = Array.sub argv ~pos:1 ~len:(Array.length argv - 1) |> Array.to_list in let policy_code = List.map file_names ~f:In_channel.read_all in - compile' policy_code |> Stdio.print_endline + compile_policies policy_code |> Stdio.print_endline |