Removed set encoding.

1 files changed, 0 insertions, 7 deletions

diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs
index 272efd99..502844b2 100644
--- a/Source/GPUVerify/CommandLineOptions.cs
+++ b/Source/GPUVerify/CommandLineOptions.cs
@@ -25,8 +25,6 @@ namespace GPUVerify
         public static string ArrayToCheck = null;

         public static bool DividedAccesses = false;

 

-        public static bool SetEncoding = false;

-

         public static bool ShowStages = false;

 

         public static bool AddDivergenceCandidatesOnlyIfModified = true;

@@ -117,11 +115,6 @@ namespace GPUVerify
                     DividedArray = true;

                     break;

 

-                    case "-setEncoding":

-                    case "/setEncoding":

-                    SetEncoding = true;

-                    break;

-

                     case "-showStages":

                     case "/showStages":

                     ShowStages = true;