diff options
| author | Chimrod <> | 2023-10-14 15:32:13 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
| commit | f85abcb996b8d189a646e6aeea8aa4ce068f7570 (patch) | |
| tree | 658bb3448777435b569a5b0871468317611bf47c /lib/syntax/tree.mli | |
| parent | f135a5fcb6c9827d07025a143b190cbbf8eddc15 (diff) | |
Used the type S.repr in Syntax/Location.t
Diffstat (limited to 'lib/syntax/tree.mli')
| -rw-r--r-- | lib/syntax/tree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli index c16a02a..6b864e9 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -46,4 +46,4 @@ include S.Analyzer with type Expression.t' = S.pos Ast.expression and type Instruction.t' = S.pos Ast.statement - and type Location.repr = S.pos * S.pos Ast.statement list + and type Location.t = S.pos * S.pos Ast.statement list |