From a70c88bd727c7938c3d8d1355bf5474546d7d72e Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 7 Oct 2023 10:54:39 +0200 Subject: Updated the common interface in order to require the report --- lib/syntax/tree.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/syntax/tree.mli') 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 -- cgit v1.2.3