Changes in src/SynTree/Mutator.cc [2b7bf59:447c356]

File:

• src/SynTree/Mutator.cc (modified) (1 diff)

src/SynTree/Mutator.cc

@@ -626 +626 @@
 }
 
+TypeSubstitution * Mutator::mutate( TypeSubstitution * sub ) {
+        for ( auto & p : sub->typeEnv ) {
+                p.second = maybeMutate( p.second, *this );
+        }
+        for ( auto & p : sub->varEnv ) {
+                p.second = maybeMutate( p.second, *this );
+        }
+        return sub;
+}
+
 // Local Variables: //
 // tab-width: 4 //