From ca041e194de2eb268995372d38eab6550e492ac3 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 5 Nov 2020 16:08:14 +0100
Subject: [PATCH] [parser] Update comment
---
src/kernel_internals/parsing/logic_parser.mly | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index 6b215c69952..936ce77df49 100644
--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly
@@ -142,8 +142,7 @@
link the original contract with its pretty-printed version. *)
Extlib.replace compare_pair (filter_from f2) acc
| From ds1, From ds2 ->
- (* we keep the two functional dependencies,
- as they have to be proved separately. *)
+ (* we merge the two functional dependencies. *)
Extlib.replace compare_pair (l, From (concat_deps ds1 ds2)) acc
with Not_found -> acc @ [filter_from f2]
in List.fold_left concat_one a1 a2
--
GitLab