diff options
author | wuestholz <unknown> | 2015-01-26 22:24:28 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2015-01-26 22:24:28 +0100 |
commit | 34a68b3dca1fff4cabc86bc692b22b4a88c5152c (patch) | |
tree | 0780e02acc536285f8f1ff0eafd92e0c4ee96531 /Source/Core/Util.cs | |
parent | 40537b5a8339208370894ef0771d288fda351068 (diff) |
Minor change
Diffstat (limited to 'Source/Core/Util.cs')
-rw-r--r-- | Source/Core/Util.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index 73008742..f8428942 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -676,8 +676,7 @@ namespace Microsoft.Boogie { // any filename extension specified by the user. We base our
// calculations on that there is at most one occurrence of @PROC@.
if (180 <= fileName.Length - 6 + pn.Length) {
- pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + sequenceNumber;
- sequenceNumber++;
+ pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + System.Threading.Interlocked.Increment(ref sequenceNumber);
}
return fileName.Replace("@PROC@", pn);
|