Fix printing
parent
d7dfd69f90
commit
64f6384177
|
@ -72,7 +72,7 @@ void LabeledSymbol::print(const std::string& s) const {
|
||||||
/* ************************************************************************* */
|
/* ************************************************************************* */
|
||||||
LabeledSymbol::operator std::string() const {
|
LabeledSymbol::operator std::string() const {
|
||||||
char buffer[100];
|
char buffer[100];
|
||||||
snprintf(buffer, 100, "%c%c%llu", c_, label_, j_);
|
snprintf(buffer, 100, "%c%c%lu", c_, label_, j_);
|
||||||
return std::string(buffer);
|
return std::string(buffer);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -57,7 +57,7 @@ bool Symbol::equals(const Symbol& expected, double tol) const {
|
||||||
|
|
||||||
Symbol::operator std::string() const {
|
Symbol::operator std::string() const {
|
||||||
char buffer[10];
|
char buffer[10];
|
||||||
snprintf(buffer, 10, "%c%llu", c_, j_);
|
snprintf(buffer, 10, "%c%lu", c_, j_);
|
||||||
return std::string(buffer);
|
return std::string(buffer);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue