diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/ast.ml')
| -rw-r--r-- | rego-proofs/compiler-rewrite/lib/ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rego-proofs/compiler-rewrite/lib/ast.ml b/rego-proofs/compiler-rewrite/lib/ast.ml index 052496d..1ac227d 100644 --- a/rego-proofs/compiler-rewrite/lib/ast.ml +++ b/rego-proofs/compiler-rewrite/lib/ast.ml @@ -203,7 +203,7 @@ let parse_head tree = if tree |> member "assign" |> to_bool_or_false then Assign else Unify in let rhs = - if not (tree |> member "key" |> is_null) then + if (tree |> member "key" |> is_null) && (not (tree |> member "key" |> is_null)) then Set (tree |> member "key" |> parse_term) else if tree |> member "args" |> to_bool_or_false then Function |