Merge pull request #287 from cucapra/tissue3-fixing

rename res to result
cucapra · Nov 21, 2019 · 69c22b2 · 69c22b2
2 parents 1777f8c + 4415e4f
commit 69c22b2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/scala/passes/LoopCheck.scala b/src/main/scala/passes/LoopCheck.scala
@@ -136,10 +136,10 @@ object LoopChecker {
     def merge(that: LEnv): LEnv = {
       val m1 = this.stateMap
       val m2 = that.stateMap
-      val res = m1.head.keys.foldLeft[LEnv](LEnv(m1, nameMap, exprMap))({
+      val result = m1.head.keys.foldLeft[LEnv](LEnv(m1, nameMap, exprMap))({
         case (env, k) => mergeHelper(k, m1.get(k), m2.get(k), env)
       })
-      res
+      result
     }
   }