diff options
| author |  wuestholz <unknown> | 2014-08-03 13:42:36 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-08-03 13:42:36 +0200 |
| commit | 0d82fe57a792b4b68826a9b0c72cf386052f1ff0 (patch) | |
| tree | 061967f1c0f0dc8c233e3b1e3b5b4e60f7de8aeb /Source/Core/AbsyExpr.cs | |
| parent | fcb95cb3964d4b9d5fa112c72f8971df77df7e0b (diff) | |
Minor refactoring
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index 33b3a818..95a11a65 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -1804,10 +1804,10 @@ namespace Microsoft.Boogie { this.name.Emit(stream, 0xF0, false);
if (stream.UseForComputingChecksums)
{
- var c = Func.DependenciesChecksum;
+ var c = Func.DependencyChecksum;
if (c != null)
{
- stream.Write(string.Format("[dependencies_checksum:{0}]", c));
+ stream.Write(string.Format("[dependency_checksum:{0}]", c));
}
}
stream.Write("(");
|