diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/lib/lean.mli')
| -rw-r--r-- | rego-proofs/compiler-rewrite/lib/lean.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rego-proofs/compiler-rewrite/lib/lean.mli b/rego-proofs/compiler-rewrite/lib/lean.mli index c77cf81..3b2b10c 100644 --- a/rego-proofs/compiler-rewrite/lib/lean.mli +++ b/rego-proofs/compiler-rewrite/lib/lean.mli @@ -2,7 +2,7 @@ type lean_expression = | Identifier of string | Bool of bool | String of string - | Number of int + | Number of float | List of lean_expression list | Tuple of lean_expression list | Application of lean_expression * lean_expression list |