diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-07 13:03:55 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-07 13:03:55 +0100 |
| commit | b4fbe82bc3e8ac81f0203b0fed9aff5e27de0e8f (patch) | |
| tree | 8642bbe3d1047055a30d4c8fdd2930068e809d7b | |
| parent | 3aeff26745024ce467b417efa3f7ca3bae2d4cfa (diff) | |
GPUVerify: add newly created barrier procedures to resolution context
| -rw-r--r-- | Source/GPUVerify/GPUVerifier.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index 4e30951e..090ddd51 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -124,6 +124,7 @@ namespace GPUVerify new EnsuresSeq(),
new QKeyValue(Token.NoToken, "barrier", new List<object>(), null));
Program.TopLevelDeclarations.Add(p);
+ ResContext.AddProcedure(p);
}
return p;
}
|