Disabled well-formedness temporarily.

Simon Meier found some problems with the draft implementation, so it is disabled
for now.
This commit is contained in:
Cas Cremers 2008-01-10 16:09:24 +01:00
parent 8fe754f4ec
commit ce9891d351

View File

@ -2194,8 +2194,10 @@ preprocess (const System sys)
/*
* Check well-formedness
*/
/* TODO Temporarily disabled wellformedness check (well-formedness) after Simon bug reporting.
if (sys->knowledgedefined)
{
checkWellFormed (sys);
}
*/
}