From e856de5ab489ed24c36155ff51d42407b8366923 Mon Sep 17 00:00:00 2001
From: Daniel Selsam <daniel.selsam@gmail.com>
Date: Thu, 19 Nov 2015 10:48:07 -0800
Subject: [PATCH] chore(library/blast/simplifier): remove old comment

---
 src/library/blast/simplifier.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/library/blast/simplifier.h b/src/library/blast/simplifier.h
index 93f933294f..cb1e59cbbc 100644
--- a/src/library/blast/simplifier.h
+++ b/src/library/blast/simplifier.h
@@ -16,8 +16,6 @@ namespace simp {
 /* Struct to store results of simplification */
 struct result {
     /* Invariant [m_pf : m_orig <rel> m_new] */
-    /* Note: we only keep [m_old] to make the code easier to understand.
-       It could be optimized away in the future. */
     expr m_new;
 
     /* If proof is not provided, it is assumed to be reflexivity */