From 18dca1c4310b66e012bea9a47c481676190baa5e Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sat, 24 Mar 2018 16:59:15 +0100 Subject: Congruence: typography in a comment. --- plugins/cc/ccalgo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/cc') diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml index 5cab6d203..39348a3e7 100644 --- a/plugins/cc/ccalgo.ml +++ b/plugins/cc/ccalgo.ml @@ -9,7 +9,7 @@ (************************************************************************) (* This file implements the basic congruence-closure algorithm by *) -(* Downey,Sethi and Tarjan. *) +(* Downey, Sethi and Tarjan. *) (* Plus some e-matching and constructor handling by P. Corbineau *) open CErrors -- cgit v1.2.3