Added printf() format related fix thanks to christophe.foucher.

abduld · Oct 14, 2013 · ebedf3e · ebedf3e
1 parent 65dc87a
commit ebedf3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/platform.c b/platform.c
@@ -126,7 +126,7 @@ void PrintSourceTextErrorLine(IOFILE *Stream, const char *FileName, const char *
  for (CCount = 0; CCount < CharacterPos + (int)strlen(INTERACTIVE_PROMPT_STATEMENT); CCount++)
  PrintCh(' ', Stream);
  }
- PlatformPrintf(Stream, "^\n%s:%d: ", FileName, Line, CharacterPos);
+ PlatformPrintf(Stream, "^\n%s:%d:%d ", FileName, Line, CharacterPos);
 
 }