Skip to content

Commit ccd5110

Browse files
Fix split printing
1 parent 7f9f784 commit ccd5110

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

Source/Directory.Build.props

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
<!-- Target framework and package configuration -->
44
<PropertyGroup>
5-
<Version>3.4.3</Version>
5+
<Version>3.4.4</Version>
66
<TargetFramework>net6.0</TargetFramework>
77
<GeneratePackageOnBuild>false</GeneratePackageOnBuild>
88
<Authors>Boogie</Authors>

Source/VCGeneration/Splits/Split.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ private void PrintSplit() {
114114
Thread.Sleep(100);
115115
}
116116

117-
var prefix = this is ManualSplit manualSplit ? manualSplit.Token.ShortName : "";
117+
var prefix = this is ManualSplit manualSplit ? "-" + manualSplit.SplitIndex + manualSplit.Token.ShortName : "";
118118
var name = Implementation.Name + prefix;
119119
using var writer = printToConsole
120120
? new TokenTextWriter("<console>", Options.OutputWriter, false, Options.PrettyPrint, Options)

0 commit comments

Comments
 (0)