#
# ChangeLog for src/ResolvExpr/RenameVars.cc
#
# Generated by Trac 1.2.1
# Apr 30, 2024, 5:30:14 AM

Wed, 15 Nov 2017 18:59:51 GMT Rob Schluntz <rschlunt@…> [c95b115]
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/RenameVars.h (modified)

	Add reset counter to type variable renaming scheme to ensure ...


Thu, 31 Aug 2017 19:29:38 GMT Rob Schluntz <rschlunt@…> [be9036d]
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/SymTab/Indexer.cc (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SynTree/Mutator.cc (modified)
	* src/SynTree/ReferenceToType.cc (modified)
	* src/SynTree/Type.h (modified)
	* src/SynTree/TypeSubstitution.h (modified)
	* src/SynTree/Visitor.cc (modified)
	* src/prelude/prelude.cf (modified)

	Reorganize TraitInstType and TraitDecl, add sized trait definition to ...