Corrected a mistake spotted by Sanjay.
authorChao Huang <chuang10@uiuc.edu>
Tue, 17 Jun 2008 23:23:15 +0000 (23:23 +0000)
committerChao Huang <chuang10@uiuc.edu>
Tue, 17 Jun 2008 23:23:15 +0000 (23:23 +0000)
doc/charisma/orchcode.tex

index d86276c2887288682b235cea6b71ec6b250eaabc..b34179a9495fb87e674897b7c52e26dd76dde754 100644 (file)
@@ -154,7 +154,8 @@ where $c$ is a constant. Although we have used different symbols (\code{p} and
 
 The parameters are produced and consumed in the program order. Namely, a
 parameter produced in an early statement will be consumed by the next consuming
-statement, but will no longer be visible to any consuming statement after that.
+statement, but will no longer be visible to any consuming statement after a 
+subsequent statement producing the same parameter in program order.
 Special rules involving loops are discussed later with loop statement.
 
 $\bullet$ {\bf Overlap Statement}