spechub/Hets — pull request #1310 by cmaeder (2014-07-31 11:37:33+00:00)
Title: ignore original sorts when comparing constraints, fixes #1296

minimal fix for #1296. The order of constructors and order of types in one block still matters.