From 5085dce15b6e41cf0d1ae3cd832a262f6902ac36 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 27 Jun 2023 09:09:21 -0500 Subject: T5316: use a single pass of diff function instead of trim function --- src/config_diff.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'src/config_diff.mli') diff --git a/src/config_diff.mli b/src/config_diff.mli index 0f4ebf0..85eb2d1 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -7,6 +7,7 @@ type diff_trees = { right: Config_tree.t; add: Config_tree.t ref; sub: Config_tree.t ref; + del: Config_tree.t ref; inter: Config_tree.t ref; } -- cgit v1.2.3