Chalice: allow replace by to match LocalVar

1 files changed, 2 insertions, 1 deletions

diff --git a/Chalice/src/Ast.scala b/Chalice/src/Ast.scala
index 2c9970c6..3d1f5d3e 100644
--- a/Chalice/src/Ast.scala
+++ b/Chalice/src/Ast.scala
@@ -249,7 +249,8 @@ case class NonDetPat(is: List[String], code: List[Statement]) extends Transform
   def matches(s: Statement) = s match {

     case _:Call => true

     case _:SpecStmt => true

-    case _:Assign => true // declarative

+    case _:Assign => true // declarative expression on the right

+    case _:LocalVar => true // declarative expression on the right    

     case _ => false

   }

 }