#
# ChangeLog for src/Clight/test/castremoval.c
#
# Generated by Trac 1.2
# Mar 9, 2021, 12:25:52 PM

Thu, 08 Sep 2011 14:04:07 GMT campbell [1198]
	* src/CHANGES (modified)
	* src/Clight/SimplifyCasts.ma (added)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/test/castremoval.c (added)
	* src/Clight/test/castremoval.c.ma (added)
	* src/Clight/test/sum.c.ma (modified)

	Clight cast removal (NB: quite different from the prototype).