Changes in src/ResolvExpr/RenameVars.cc [93c10de:7583c02]

File:

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

src/ResolvExpr/RenameVars.cc

@@ -42 +42 @@
                 int next_usage_id = 1;
                 ScopedMap< std::string, std::string > nameMap;
-                ScopedMap< std::string, ast::TypeEnvKey > idMap;
+                ScopedMap< std::string, ast::TypeInstType::TypeEnvKey > idMap;
         public:
                 void reset() {
@@ -121 +121 @@
                                         assert(false);
                                 }
-                                idMap[ td->name ] = ast::TypeEnvKey( *mut );
-
+                                idMap[ td->name ] = ast::TypeInstType::TypeEnvKey(*mut);
+                                
                                 td = mut;
                         }