diff options
| author | Jakob L. Kreuze | 2023-10-04 19:12:17 -0400 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-10-04 19:12:17 -0400 |
| commit | 2dbe9472daa501e3f2f2a0f8f31298c7b516ab8a (patch) | |
| tree | 7143114b03e35bff54a21532cf1753bba9e52a6f | |
| parent | 5e2e29e88ecc657faeb9d26e86a69d6b7efa2a8b (diff) | |
PolicySet actually can't contain a Rule (whoops)
| -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 8c06545..3d48789 100644 --- a/xacml-proofs/compiler/bin/main.ml +++ b/xacml-proofs/compiler/bin/main.ml @@ -401,8 +401,8 @@ let compile_policyset (elt : xml_element) : (lean_expression list) * lean_expres List (List.map ~f:compile_advice_expression advice_expressions);])in let identifier = canonicalize_identifier identifier ~version:(Some version) in let children = List.filter_map ~f:(function + | Element (("PolicySet", _, _) as elt) -> Some (compile_policyset elt) | Element (("Policy", _, _) as elt) -> Some (compile_policy elt) - | Element (("Rule", _, _) as elt) -> Some (compile_rule elt) | _ -> None) children in ([Define |