Miscellanous fixes #454
|
@ -46,10 +46,7 @@ void output_float64(double x) {
|
||||||
|
|
||||||
void output_range(int32_t range[3]) {
|
void output_range(int32_t range[3]) {
|
||||||
printf("range(");
|
printf("range(");
|
||||||
if (range[0] != 0) {
|
printf("%d, %d", range[0], range[1]);
|
||||||
printf("%d, ", range[0]);
|
|
||||||
}
|
|
||||||
printf("%d", range[1]);
|
|
||||||
if (range[2] != 1) {
|
if (range[2] != 1) {
|
||||||
printf(", %d", range[2]);
|
printf(", %d", range[2]);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue