2 Commits

Author	SHA1	Message	Date
Bruno Oliveira	885b8a3b4c	Fix linting	2018-09-01 11:13:40 -03:00
Fabio Zadrozny	d53e449296	Improve performance of assertion rewriting. Fixes #3918	2018-08-31 12:27:08 -03:00