From ee2cddf734b66fa39a8ad7aa3662f22bbc62cf47 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 16 Oct 2023 16:41:35 +0200 Subject: Removed unused comment --- lib/syntax/tree.mli | 2 -- 1 file changed, 2 deletions(-) (limited to 'lib/syntax') 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 -- cgit v1.2.3