diff options
| author | Chimrod <> | 2023-10-07 10:54:39 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | a70c88bd727c7938c3d8d1355bf5474546d7d72e (patch) | |
| tree | 9e25c88f6310c28f1f726f75ab7896d4604ed503 /lib/syntax/tree.mli | |
| parent | 7f2b8c0b9fbe6c9b3b4291c1749fc4d53866b85b (diff) | |
Updated the common interface in order to require the report
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 ad052e9..c54a9ff 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -46,6 +46,6 @@ end include S.Analyzer - with type Expression.repr = Ast.pos Ast.expression + with type Expression.t = Ast.pos Ast.expression and type Instruction.repr = Ast.pos Ast.statement and type Location.repr = Ast.pos * Ast.pos Ast.statement list |