diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/ast.mli')
| -rw-r--r-- | rego-proofs/compiler-rewrite/lib/ast.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rego-proofs/compiler-rewrite/lib/ast.mli b/rego-proofs/compiler-rewrite/lib/ast.mli index 1d3d69a..514d5da 100644 --- a/rego-proofs/compiler-rewrite/lib/ast.mli +++ b/rego-proofs/compiler-rewrite/lib/ast.mli @@ -40,7 +40,7 @@ type rule_head_lhs = reference type rule_head_rhs = | Assignment of assign_operator * term - | Function of assign_operator * string list * term + | Function of assign_operator * term list * term | Set of term type rule_head = rule_head_lhs * rule_head_rhs |