diff options
| author | Chimrod <> | 2023-10-16 16:41:35 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
| commit | ee2cddf734b66fa39a8ad7aa3662f22bbc62cf47 (patch) | |
| tree | ba94aad8779747d3053bab5f71a9b8f4cd4859d7 | |
| parent | d1248cd0ddcb0bdc3f739e14a44fba4f11fdc87d (diff) | |
Removed unused comment
| -rw-r--r-- | lib/syntax/tree.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli index 6b864e9..84e5d1b 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -40,8 +40,6 @@ module Ast : sig [@@deriving eq, show] end -(** / **) - include S.Analyzer with type Expression.t' = S.pos Ast.expression |