Changes in src/ResolvExpr/FindOpenVars.cc [93c10de:3e5dd913]

File:

• src/ResolvExpr/FindOpenVars.cc (modified) (2 diffs)

src/ResolvExpr/FindOpenVars.cc

@@ -113 +113 @@
                                 if ( nextIsOpen ) {
                                         for ( auto & decl : type->forall ) {
-                                                open[ *decl ] = ast::TypeData{ decl->base };
+                                                open[ *decl ] = ast::TypeDecl::Data{ decl->base };
                                         }
                                         for ( auto & assert : type->assertions ) {
@@ -120 +120 @@
                                 } else {
                                         for ( auto & decl : type->forall ) {
-                                                closed[ *decl ] = ast::TypeData{ decl->base };
+                                                closed[ *decl ] = ast::TypeDecl::Data{ decl->base };    
                                         }
                                         for ( auto & assert : type->assertions ) {