diff --git a/src/main/scala/leon/xlang/AntiAliasingPhase.scala b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
index e79585002fed7a524a10afcf5ce3c7cd55515473..045cf256f16890a85aca73aec1b2acf660960aef 100644
--- a/src/main/scala/leon/xlang/AntiAliasingPhase.scala
+++ b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
@@ -26,12 +26,15 @@ object AntiAliasingPhase extends TransformationPhase {
 
     val effects = effectsAnalysis(pgm)
 
+    //for each fun def, all the vars the the body captures. Only
+    //mutable types.
     val varsInScope: Map[FunDef, Set[Identifier]] = (for {
       fd <- fds
     } yield {
       val allFreeVars = fd.body.map(bd => variablesOf(bd)).getOrElse(Set())
       val freeVars = allFreeVars -- fd.params.map(_.id)
-      (fd, freeVars)
+      val mutableFreeVars = freeVars.filter(id => id.getType.isInstanceOf[ArrayType])
+      (fd, mutableFreeVars)
     }).toMap
 
     /*