Skip to content

Commit 5fd3d88

Browse files
committed
fixed error message
1 parent 9cace4b commit 5fd3d88

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Source/Core/AST/Commands/AbsyCmd.cs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1581,7 +1581,7 @@ bool NeedsRefinementChecking(CallCmd callCmd)
15811581
var callCount = CallCmds.Count(NeedsRefinementChecking);
15821582
if (callCount > 1)
15831583
{
1584-
tc.Error(this, "callees in multiple non-skippable arms at caller's layer refine an action");
1584+
tc.Error(this, "multiple non-skippable arms in parallel call at caller's layer");
15851585
}
15861586
}
15871587

0 commit comments

Comments
 (0)