Vital follow-up to fix of Trac #2045
authorsimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 16:54:34 +0000 (16:54 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 16:54:34 +0000 (16:54 +0000)
Sorry -- my 'validate' didn't work right and I missed a trick.
This patch must accompany

 * Fix Trac #2045: use big-tuple machiney for implication constraints


No differences found