fix typos

issue#70
Houtan Bastani 2019-01-18 12:48:45 +01:00
parent 027b59b449
commit 9c95bfa33f
No known key found for this signature in database
GPG Key ID: 000094FB955BE169
2 changed files with 2 additions and 2 deletions

View File

@ -1469,7 +1469,7 @@ EstimatedParamsStatement::writeJsonOutput(ostream &output) const
break; break;
} }
output << ", \"initval\": \""; output << ", \"init_val\": \"";
it->init_val->writeJsonOutput(output, {}, {}); it->init_val->writeJsonOutput(output, {}, {});
output << "\", \"lower_bound\": \""; output << "\", \"lower_bound\": \"";
it->low_bound->writeJsonOutput(output, {}, {}); it->low_bound->writeJsonOutput(output, {}, {});

View File

@ -233,7 +233,7 @@ InitValStatement::writeOutput(ostream &output, const string &basename, bool mini
void void
InitValStatement::writeJsonOutput(ostream &output) const InitValStatement::writeJsonOutput(ostream &output) const
{ {
output << "{\"statementName\": \"init_val\", \"vals\": ["; output << "{\"statementName\": \"initval\", \"vals\": [";
writeJsonInitValues(output); writeJsonInitValues(output);
output << "]}"; output << "]}";
} }