5 commits

Author	SHA1	Message	Date
flip1995	d2dbd0b8a5	Update *.stderr files	2018-12-28 12:41:12 +01:00
Matthias Krüger	7bcc2cd9c8	update test stderr	2018-12-10 08:22:07 +01:00
Manish Goregaokar	e9c025ea70	Add license header to Rust files	2018-10-06 09:43:08 -07:00
flip1995	e9af09c274	Adapt the *.stderr files of the ui-tests to the tool_lints	2018-08-29 11:08:29 -07:00
HMPerson1	8081f6fd6e	Replace is_unit_expr	2018-01-18 17:04:26 -05:00