From 2dbe9472daa501e3f2f2a0f8f31298c7b516ab8a Mon Sep 17 00:00:00 2001
From: Jakob L. Kreuze
Date: Wed, 4 Oct 2023 19:12:17 -0400
Subject: PolicySet actually can't contain a Rule (whoops)

---
 xacml-proofs/compiler/bin/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.3