From 064e3fe20dbe84762905156369ce2c98ce18f31d Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sun, 1 Dec 2013 01:57:34 -0500
Subject: [PATCH] refactor(library/rewriter): rename lc => ti

---
 src/library/rewriter/rewriter.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/library/rewriter/rewriter.h b/src/library/rewriter/rewriter.h
index 3466a4102..f7a67ce6a 100644
--- a/src/library/rewriter/rewriter.h
+++ b/src/library/rewriter/rewriter.h
@@ -355,8 +355,8 @@ class apply_rewriter_fn {
 
         std::pair<expr, expr> result; // m_rw(env, ctx, v);
         // if (is_eqp(v, result.first))
-        type_inferer lc(env);
-        expr ty_v = lc(v, ctx);
+        type_inferer ti(env);
+        expr ty_v = ti(v, ctx);
 
         switch (v.kind()) {
         case expr_kind::Type:
@@ -408,7 +408,7 @@ class apply_rewriter_fn {
                     result = rewrite_eq_rhs(env, ctx, v, result_rhs);
                 } else {
                     // nothing changed
-                    result = std::make_pair(v, Refl(lc(v, ctx), v));
+                    result = std::make_pair(v, Refl(ti(v, ctx), v));
                 }
             }
             std::pair<expr, expr> tmp = m_rw(env, ctx, result.first);
@@ -439,7 +439,7 @@ class apply_rewriter_fn {
                     result = rewrite_lambda_body(env, ctx, v, result_body);
                 } else {
                     // nothing changed
-                    result = std::make_pair(v, Refl(lc(v, ctx), v));
+                    result = std::make_pair(v, Refl(ti(v, ctx), v));
                 }
             }
             std::pair<expr, expr> tmp = m_rw(env, ctx, result.first);
@@ -471,7 +471,7 @@ class apply_rewriter_fn {
                     result = rewrite_pi_body(env, ctx, v, result_body);
                 } else {
                     // nothing changed
-                    result = std::make_pair(v, Refl(lc(v, ctx), v));
+                    result = std::make_pair(v, Refl(ti(v, ctx), v));
                 }
             }
             std::pair<expr, expr> tmp = m_rw(env, ctx, result.first);
@@ -488,7 +488,7 @@ class apply_rewriter_fn {
             expr const & body = let_body(v);
 
             expr new_v = v;
-            expr ty_v = lc(v, ctx);
+            expr ty_v = ti(v, ctx);
             expr pf = Refl(ty_v, v);
             bool changed = false;