Changes in src/AST/Pass.proto.hpp [b2a11ba:d3aa64f1]

File:

• src/AST/Pass.proto.hpp (modified) (2 diffs)

src/AST/Pass.proto.hpp

@@ -236 +236 @@
 
         // List of fields and their expected types
-        FIELD_PTR( typeSubs, const ast::TypeSubstitution * )
+        FIELD_PTR( env, const ast::TypeSubstitution * )
         FIELD_PTR( stmtsToAddBefore, std::list< ast::ptr< ast::Stmt > > )
         FIELD_PTR( stmtsToAddAfter , std::list< ast::ptr< ast::Stmt > > )
@@ -421 +421 @@
 
         } // namespace forall
-
-        template<typename core_t>
-        static inline auto get_result( core_t & core, char ) -> decltype( core.result() ) {
-                return core.result();
-        }
-
-        template<typename core_t>
-        static inline auto get_result( core_t & core, int ) -> decltype( core.result ) {
-                return core.result;
-        }
-
-        template<typename core_t>
-        static inline void get_result( core_t &, long ) {}
 } // namespace __pass
 } // namespace ast