87:e624b6fa4c78 | 88:04c81be1c5a0 |
---|---|
393 name); | 393 name); |
394 } | 394 } |
395 } else { | 395 } else { |
396 fprintf( | 396 fprintf( |
397 stderr, | 397 stderr, |
398 "UI Error: requested variable %s is not an string.\n", | 398 "UI Error: requested variable %s is not a text.\n", |
399 name); | 399 name); |
400 } | 400 } |
401 } else { | 401 } else { |
402 fprintf(stderr, "UI Error: unkown variable %s.\n", name); | 402 fprintf(stderr, "UI Error: unkown variable %s.\n", name); |
403 } | 403 } |