diff options
Diffstat (limited to 'Chalice/src/Ast.scala')
-rw-r--r-- | Chalice/src/Ast.scala | 3 |
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
}
}
|