diff options
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index 724885ed..2b16651b 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1999,7 +1999,6 @@ namespace Microsoft.Boogie { public string/*!*/ callee { get; set; }
public Procedure Proc;
public LocalVariable AssignedAssumptionVariable;
- public string ProcDependencyChecksumInPreviousSnapshot { get; set; }
// Element of the following lists can be null, which means that
// the call happens with * as these parameters
@@ -2087,14 +2086,6 @@ namespace Microsoft.Boogie { stream.Write(" := ");
}
stream.Write(TokenTextWriter.SanitizeIdentifier(callee));
- if (stream.UseForComputingChecksums)
- {
- var c = ProcDependencyChecksumInPreviousSnapshot != null ? ProcDependencyChecksumInPreviousSnapshot : Proc.DependencyChecksum;
- if (c != null)
- {
- stream.Write(string.Format("[dependency_checksum:{0}]", c));
- }
- }
stream.Write("(");
sep = "";
foreach (Expr arg in Ins) {
|