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

zik.saleeba · zik.saleeba · commit 1493fa103d73 · 2013-10-14T23:41:09.000Z
git-svn-id: http://picoc.googlecode.com/svn/trunk@603 21eae674-98b7-11dd-bd71-f92a316d2d60
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);
     
 }
 

Original file line number	Diff line number	Diff line change
`@@ -126,7 +126,7 @@ void PrintSourceTextErrorLine(IOFILE Stream, const char FileName, const char *`
`126`	`126`	`for (CCount = 0; CCount < CharacterPos + (int)strlen(INTERACTIVE_PROMPT_STATEMENT); CCount++)`
`127`	`127`	`PrintCh(' ', Stream);`
`128`	`128`	`}`
`129`		`- PlatformPrintf(Stream, "^\n%s:%d: ", FileName, Line, CharacterPos);`
	`129`	`+ PlatformPrintf(Stream, "^\n%s:%d:%d ", FileName, Line, CharacterPos);`
`130`	`130`
`131`	`131`	`}`
`132`	`132`