From 89bb5fbf197794001725756b3aff99672012d701 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 26 Jan 2014 00:36:17 -0800 Subject: [PATCH] chore(library/simplifier): fix style Signed-off-by: Leonardo de Moura --- src/library/simplifier/simplifier.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/simplifier/simplifier.cpp b/src/library/simplifier/simplifier.cpp index 967533504..1268ed247 100644 --- a/src/library/simplifier/simplifier.cpp +++ b/src/library/simplifier/simplifier.cpp @@ -337,7 +337,7 @@ class simplifier_fn { */ optional mk_hcongr_th(expr const & f_type, expr const & new_f_type, expr const & f, expr const & new_f, expr const & Heq_f, expr const & a, result const & new_a) { - // TODO: make the following code more "customizable". + // TODO(Leo): make the following code more "flexible". // We should be able to "install" new custom congruence theorem if (is_eq_fn(f) && is_eq_fn(new_f)) { return mk_typem_congr_th(mk_eq_hcongr_fn(), a, new_a);