summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Kew <jfkthame@googlemail.com>2008-05-30 08:36:17 +0000
committerJonathan Kew <jfkthame@googlemail.com>2008-05-30 08:36:17 +0000
commitac7b928bc49dc71adf8e49180a451a31950a8389 (patch)
tree67c43d38ee63a91d716a221bfed0fdf2d838af32
parent7e2b28525984e00197cb1ddf7499f8d38714bf02 (diff)
strtod is more portable than strtof
git-svn-id: svn://tug.org/texlive/trunk@8416 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/synctex/synctex_main.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/synctex/synctex_main.c b/Build/source/texk/web2c/synctex/synctex_main.c
index b223edd527e..c031b2f4bdb 100644
--- a/Build/source/texk/web2c/synctex/synctex_main.c
+++ b/Build/source/texk/web2c/synctex/synctex_main.c
@@ -489,10 +489,10 @@ int synctex_edit(int argc, char *argv[]) {
page = strtol(start,&end,10);
if(end>start && strlen(end)>1 && *end==':') {
start = end+1;
- x = strtof(start,&end);
+ x = strtod(start,&end);
if(end>start && strlen(end)>1 && *end==':') {
start = end+1;
- y = strtof(start,&end);
+ y = strtod(start,&end);
if(end>start && strlen(end)>1 && *end==':') {
output = ++end;
goto scan_execute;