Changes in src/AST/ForallSubstitutor.hpp [e0e9a0b:954c954]

File:

• src/AST/ForallSubstitutor.hpp (modified) (2 diffs)

src/AST/ForallSubstitutor.hpp

@@ -33 +33 @@
         }
 
+        template<typename node_t > 
+        std::vector<ptr<node_t>> operator() (const std::vector<ptr<node_t>> & o) {
+                std::vector<ptr<node_t>> n;
+                n.reserve(o.size());
+                for (const node_t * d : o) { n.emplace_back(d->accept(*visitor)); }
+                return n;
+        }
+        
+        /*
+
         /// Substitute parameter/return type
         std::vector< ptr< DeclWithType > > operator() ( const std::vector< ptr< DeclWithType > > & o ) {
@@ -48 +58 @@
                 return n;
         }
+
+        */
 };