1 files changed, 0 insertions, 39 deletions
diff --git a/Source/GPUVerify/UniformExpressionAnalysisVisitor.cs b/Source/GPUVerify/UniformExpressionAnalysisVisitor.cs
deleted file mode 100644
index 76f6b5de..00000000
--- a/Source/GPUVerify/UniformExpressionAnalysisVisitor.cs
+++ /dev/null
@@ -1,39 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Linq;
-using System.Text;
-using Microsoft.Boogie;
-
-namespace GPUVerify
-{
-    class UniformExpressionAnalysisVisitor : StandardVisitor
-    {
-
-        private bool isUniform = true;
-        private Dictionary<string, bool> uniformityInfo;
-
-        public UniformExpressionAnalysisVisitor(Dictionary<string, bool> uniformityInfo)
-        {
-            this.uniformityInfo = uniformityInfo;
-        }
-
-        public override Variable VisitVariable(Variable v)
-        {
-            if (!uniformityInfo.ContainsKey(v.Name))
-            {
-                isUniform = isUniform && (v is Constant);
-            }
-            else if (!uniformityInfo[v.Name])
-            {
-               isUniform = false;
-            }
-
-            return v;
-        }
-
-        internal bool IsUniform()
-        {
-            return isUniform;
-        }
-    }
-}