diff options
| author |  Unknown <afd@insolent.win.doc.ic.ac.uk> | 2011-11-16 16:52:05 +0000 |
|---|---|---|
| committer | Unknown <afd@insolent.win.doc.ic.ac.uk> | 2011-11-16 16:52:05 +0000 |
| commit | 6bd091f0052f543006a3a23477792adcb2efd0d2 (patch) | |
| tree | 3b1f535e645a0eba0198e1d7b2f249f569920b48 | |
| parent | 18012f5cf7a69d0b76604d54ec544b09f83557df (diff) | |
Small fix.
| -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++)
|