A small fix in variable definition analysis.

1 files 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);