diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-02-23 12:07:20 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-02-23 12:07:20 -0800 |
| commit | c5c2c9465a53e4b35a20ad5efe73882dc6a5af34 (patch) | |
| tree | 9336173498839860956d21178bbf622d1bc22e77 /Test/test1/EmptyCallArgs.bpl | |
| parent | c7f74de7fae661883ca13bb09d557272de659e03 (diff) | |
removed call forall and * args to calls
Diffstat (limited to 'Test/test1/EmptyCallArgs.bpl')
| -rw-r--r-- | Test/test1/EmptyCallArgs.bpl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Test/test1/EmptyCallArgs.bpl b/Test/test1/EmptyCallArgs.bpl index 18d837a9..31e4b43f 100644 --- a/Test/test1/EmptyCallArgs.bpl +++ b/Test/test1/EmptyCallArgs.bpl @@ -9,13 +9,6 @@ procedure CallP() { var z:C;
call z := P(x, y);
- call * := P(x, y);
- call z := P(*, y);
- call z := P(x, *);
- call * := P(*, x); // type error
- call * := P(x, *);
- call z := P(*, *);
- call * := P(*, *);
}
procedure CallQ() {
@@ -24,8 +17,4 @@ procedure CallQ() { var z:bool;
call x := Q(x, y); // type error
- call * := Q(x, y);
- call x := Q(*, y); // type error
- call x := Q(x, *);
- call * := Q(*, y);
}
\ No newline at end of file |