GPUVerify: make BuildNamedDefVisitor and SubstDualisedDefVisitor Duplicators

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/GPUVerify/VariableDefinitionAnalysis.cs b/Source/GPUVerify/VariableDefinitionAnalysis.cs
index f55e51e8..714fcc15 100644
--- a/Source/GPUVerify/VariableDefinitionAnalysis.cs
+++ b/Source/GPUVerify/VariableDefinitionAnalysis.cs
@@ -82,7 +82,7 @@ class VariableDefinitionAnalysis {
     } while (changed);

   }

 

-  private class BuildNamedDefVisitor : StandardVisitor {

+  private class BuildNamedDefVisitor : Duplicator {

     private VariableDefinitionAnalysis analysis;

 

     public BuildNamedDefVisitor(VariableDefinitionAnalysis a) {

@@ -111,7 +111,7 @@ class VariableDefinitionAnalysis {
         BuildNamedDefFor(v);

   }

 

-  private class SubstDualisedDefVisitor : StandardVisitor {

+  private class SubstDualisedDefVisitor : Duplicator {

     private VariableDefinitionAnalysis analysis;

     private VariableDualiser dualiser;

     public bool isSubstitutable = true;