1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs
index 1e4136b9..6c101e7f 100644
--- a/Source/GPUVerify/Main.cs
+++ b/Source/GPUVerify/Main.cs
@@ -92,7 +92,7 @@ namespace GPUVerify
                 Environment.Exit(1);
             }
 
-            GPUVerifier verifier = new GPUVerifierLockStep(program);
+            GPUVerifier verifier = new GPUVerifier(program);
 
             verifier.doit();
 
@@ -105,7 +105,7 @@ namespace GPUVerify
 
 
 
-        static Program ParseBoogieProgram(List<string> fileNames, bool suppressTraceOutput)
+        public static Program ParseBoogieProgram(List<string> fileNames, bool suppressTraceOutput)
         {
             Program program = null;
             bool okay = true;