diff options
| author |  qadeer <unknown> | 2010-03-07 05:40:08 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-03-07 05:40:08 +0000 |
| commit | 6f2decb05072bd5eb8df120434ba322d60ed4f61 (patch) | |
| tree | feff2739de9d4c86acd98fccc2b09153bef5cd68 /Source/Core/Parser.ssc | |
| parent | 32cbfecc4c0c69d94fc5972ddc97f4c5972a23c4 (diff) | |
added attributes to CallForallCmd as well
Diffstat (limited to 'Source/Core/Parser.ssc')
| -rw-r--r-- | Source/Core/Parser.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Parser.ssc b/Source/Core/Parser.ssc index 9202e204..60b441cf 100644 --- a/Source/Core/Parser.ssc +++ b/Source/Core/Parser.ssc @@ -1244,7 +1244,7 @@ out VariableSeq! ins, out VariableSeq! outs, out QKeyValue kv) { }
}
Expect(9);
- c = new CallForallCmd(x, first.val, args);
+ c = new CallForallCmd(x, first.val, args, kv);
} else if (t.kind == 44) {
Get();
ids.Add(null);
|