Changes in src/ResolvExpr/RenameVars.cc [1690778:898ae07]

File:

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

src/ResolvExpr/RenameVars.cc

@@ -96 +96 @@
                 }
         } // namespace
+
+        const ast::Type * renameTyVars( const ast::Type * t ) {
+                #warning unimplemented; make sure resetTyVarRenaming() updated when implemented
+                (void)t;
+                assert(false);
+                return t;
+        }
 } // namespace ResolvExpr