Changes in src/ResolvExpr/RenameVars.h [7583c02:898ae07]

File:

• src/ResolvExpr/RenameVars.h (modified) (1 diff)

src/ResolvExpr/RenameVars.h

@@ -30 +30 @@
         /// Provides a consistent renaming of forall type names in a hierarchy by prefixing them with a unique "level" ID
         void renameTyVars( Type * );
-
-        enum RenameMode {
-                GEN_USAGE, // for type in VariableExpr
-                GEN_EXPR_ID // for type in decl
-        };
-        const ast::Type * renameTyVars( const ast::Type *, RenameMode mode = GEN_USAGE, bool reset = true );
-        
+        const ast::Type * renameTyVars( const ast::Type * );
 
         /// resets internal state of renamer to avoid overflow
         void resetTyVarRenaming();
-
-        
 } // namespace ResolvExpr