diff options
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
-rw-r--r-- | Source/Core/AbsyExpr.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index d6dd17c9..ffd95f77 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -1802,6 +1802,10 @@ namespace Microsoft.Boogie { //Contract.Requires(stream != null);
//Contract.Requires(args != null);
this.name.Emit(stream, 0xF0, false);
+ if (stream.UseForComputingChecksums && Func.DependenciesChecksum != null)
+ {
+ stream.Write(string.Format("[dependencies_checksum:{0}]", Func.DependenciesChecksum));
+ }
stream.Write("(");
args.Emit(stream);
stream.Write(")");
|