index 6485b355cea47e72e9e95addaf004e17650bb65b..58dac047a79bd94fae03b104501cceb1406e4670 100644 (file)
void bsf_write_STRING(char* value)
{
char len = strlen(value);
void bsf_write_STRING(char* value)
{
char len = strlen(value);
- lowercase(value);
+// lowercase(value);
fwrite(&len, 1, 1, symbols_file);
fwrite(value, 1, len, symbols_file);
}
fwrite(&len, 1, 1, symbols_file);
fwrite(value, 1, len, symbols_file);
}