diff options
| author |  qadeer <unknown> | 2013-12-22 00:34:35 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-22 00:34:35 -0800 |
| commit | 9decee118ad579769bea68c2542162b1aed7d440 (patch) | |
| tree | b88316f3b7a1213e10fe67a18c73c5a9f27f4031 /Source/Core/AbsyCmd.cs | |
| parent | ca02664886e23e4d26e9a19b07c51b82de9d9e4f (diff) | |
bug fixes in Duplicate.cs and parsing of invariant attributes
other bug fixes in QED stuff
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index 65e91db5..66e9d4a6 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1821,7 +1821,7 @@ namespace Microsoft.Boogie { }
public class CallCmd : CallCommonality, IPotentialErrorNode {
- public string/*!*/ callee { get; private set; }
+ public string/*!*/ callee { get; set; }
public Procedure Proc;
// Element of the following lists can be null, which means that
|