diff options
Diffstat (limited to 'Source/GPUVerify/KernelDualiser.cs')
| -rw-r--r-- | Source/GPUVerify/KernelDualiser.cs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Source/GPUVerify/KernelDualiser.cs b/Source/GPUVerify/KernelDualiser.cs index 49b04251..da9a7a32 100644 --- a/Source/GPUVerify/KernelDualiser.cs +++ b/Source/GPUVerify/KernelDualiser.cs @@ -268,12 +268,13 @@ namespace GPUVerify private Block MakeDual(Block b)
{
- Block result = new Block(b.tok, b.Label, new CmdSeq(), b.TransferCmd);
+ var newCmds = new CmdSeq();
foreach (Cmd c in b.Cmds)
{
- MakeDual(result.Cmds, c);
+ MakeDual(newCmds, c);
}
- return result;
+ b.Cmds = newCmds;
+ return b;
}
private List<PredicateCmd> MakeDualInvariants(List<PredicateCmd> originalInvariants)
|