diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/test/compiler_rewrite.ml')
| -rw-r--r-- | rego-proofs/compiler-rewrite/test/compiler_rewrite.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rego-proofs/compiler-rewrite/test/compiler_rewrite.ml b/rego-proofs/compiler-rewrite/test/compiler_rewrite.ml index 847f8c9..1d9d926 100644 --- a/rego-proofs/compiler-rewrite/test/compiler_rewrite.ml +++ b/rego-proofs/compiler-rewrite/test/compiler_rewrite.ml @@ -98,7 +98,7 @@ let test_identifier () = let test_transform_simple_1 () = let open Compiler_rewrite.Ast in - let rule = { head = ((Var "fruit", [Var "apple"; Var "seeds"; Var "density"]), Assignment (Assign, (Scalar (Number 12.)))); + let rule = { head = ((Var "fruit", [Var "apple"; Var "seeds"]), Assignment (Assign, (Scalar (Number 12.)))); default = false; body = [Expr (Term (Scalar (Bool true)), None)]; otherwise = None } in |