diff options
Diffstat (limited to 'Source/GPUVerify/Main.cs')
| -rw-r--r-- | Source/GPUVerify/Main.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs index 9fb01ee1..e38aabea 100644 --- a/Source/GPUVerify/Main.cs +++ b/Source/GPUVerify/Main.cs @@ -204,6 +204,8 @@ namespace GPUVerify public static Program ParseBoogieProgram(List<string> fileNames, bool suppressTraceOutput)
{
+ Microsoft.Boogie.CommandLineOptions.Install(new Microsoft.Boogie.CommandLineOptions());
+
Program program = null;
bool okay = true;
for (int fileId = 0; fileId < fileNames.Count; fileId++)
|