Changes in src/ResolvExpr/FindOpenVars.cc [3e5dd913:85dac33]

File:

• src/ResolvExpr/FindOpenVars.cc (modified) (1 diff)

src/ResolvExpr/FindOpenVars.cc

@@ -112 +112 @@
                                 // mark open/closed variables
                                 if ( nextIsOpen ) {
-                                        for ( auto & decl : type->forall ) {
-                                                open[ *decl ] = ast::TypeDecl::Data{ decl->base };
-                                        }
-                                        for ( auto & assert : type->assertions ) {
-                                                need[ assert ].isUsed = false;
+                                        for ( const ast::TypeDecl * decl : type->forall ) {
+                                                open[ decl->name ] = ast::TypeDecl::Data{ decl };
+                                                for ( const ast::DeclWithType * assert : decl->assertions ) {
+                                                        need[ assert ].isUsed = false;
+                                                }
                                         }
                                 } else {
-                                        for ( auto & decl : type->forall ) {
-                                                closed[ *decl ] = ast::TypeDecl::Data{ decl->base };    
-                                        }
-                                        for ( auto & assert : type->assertions ) {
-                                                have[ assert ].isUsed = false;
+                                        for ( const ast::TypeDecl * decl : type->forall ) {
+                                                closed[ decl->name ] = ast::TypeDecl::Data{ decl };
+                                                for ( const ast::DeclWithType * assert : decl->assertions ) {
+                                                        have[ assert ].isUsed = false;
+                                                }
                                         }
                                 }