From 7032d5220af3b7008a70b571d4caeb7ed572ac48 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 27 Apr 2020 12:47:11 -0400 Subject: [PATCH] fix typo in a name --- src/cc/Sidekick_cc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cc/Sidekick_cc.ml b/src/cc/Sidekick_cc.ml index 71205534..e651659a 100644 --- a/src/cc/Sidekick_cc.ml +++ b/src/cc/Sidekick_cc.ml @@ -274,7 +274,7 @@ module Make (A: CC_ARG) of the terms they are known to be equal to, according to the current explanation. That allows not to prove some equality several times. - See "fast congruence closure and extensions", Nieuwenhis&al, page 14 *) + See "fast congruence closure and extensions", Nieuwenhuis&al, page 14 *) and ev_on_pre_merge = t -> actions -> N.t -> N.t -> Expl.t -> unit and ev_on_post_merge = t -> actions -> N.t -> N.t -> unit