fixed error in sleep ms->s. Clean up left over debug information.

This commit is contained in:
2016-04-11 12:21:47 +02:00
parent 2a041d4878
commit 1e0e19180f
2 changed files with 4 additions and 3 deletions

View File

@@ -712,10 +712,11 @@ int main(int argc, char *argv[])
}
}
/*
cout << "debug> ++++++++++++" << endl;
cout << "debug> msrHandler->GetDKSTheoryString()='" << msrHandler->GetDKSTheoryString() << "'" << endl;
cout << "debug> ++++++++++++" << endl;
*/
// check if dump is wanted
if (success && !dump.IsNull()) {
cout << endl << "will write dump file ..." << endl;