3 commits

Author	SHA1	Message	Date
Araq	e40b667891	fixes regression: overloading by 'var'	2015-04-25 23:17:00 +02:00
Araq	2c91e999e2	fixes #2600	2015-04-25 23:16:58 +02:00
Araq	ea5217c9fc	disjoint checker is somewhat smarter	2015-03-16 23:02:18 +01:00