From cacc8fd2707548f2ad16230e01a59132bf0ea8ae Mon Sep 17 00:00:00 2001
From: Unknown <afd@afd-THINK>
Date: Wed, 29 Aug 2012 13:45:22 +0100
Subject: A small fix in variable definition analysis.

---
 Source/GPUVerify/VariableDefinitionAnalysis.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/GPUVerify/VariableDefinitionAnalysis.cs b/Source/GPUVerify/VariableDefinitionAnalysis.cs
index ded3fb7a..100dbc0e 100644
--- a/Source/GPUVerify/VariableDefinitionAnalysis.cs
+++ b/Source/GPUVerify/VariableDefinitionAnalysis.cs
@@ -101,8 +101,8 @@ class VariableDefinitionAnalysis {
         }
         if (c is HavocCmd) {
           var hCmd = (HavocCmd)c;
-          foreach (Variable v in hCmd.Vars)
-            UpdateDefMap(v, null, false);
+          foreach (IdentifierExpr iExpr in hCmd.Vars)
+            UpdateDefMap(iExpr.Decl, null, false);
         }
       }
     } while (changed);
-- 
cgit v1.2.3