From e81da299fb49bd79cd460d477ec0bb673035620a Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 20 Jul 2016 18:05:56 -0700 Subject: 3117 --- html/033exclusive_container.cc.html | 1 - 1 file changed, 1 deletion(-) (limited to 'html/033exclusive_container.cc.html') diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html index 70af4cac..5dfe9521 100644 --- a/html/033exclusive_container.cc.html +++ b/html/033exclusive_container.cc.html @@ -266,7 +266,6 @@ exclusive-container foo [ x:number y:number ] - def main [ 1:number <- copy 34 2:foo <- merge 0/x, 1:number # tag must be a literal when merging exclusive containers -- cgit 1.4.1-2-gfad0