diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/bin/main.ml')
| -rw-r--r-- | rego-proofs/compiler-rewrite/bin/main.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rego-proofs/compiler-rewrite/bin/main.ml b/rego-proofs/compiler-rewrite/bin/main.ml index 933d97a..b5f04fa 100644 --- a/rego-proofs/compiler-rewrite/bin/main.ml +++ b/rego-proofs/compiler-rewrite/bin/main.ml @@ -8,6 +8,5 @@ let () = let policy_code = In_channel.read_all file_name in ast_of_string policy_code |> compile_package - |> List.concat |> List.map ~f:fmt_lean_expression |> List.iter ~f:print_endline |