diff options
author | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-30 08:36:17 +0000 |
---|---|---|
committer | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-30 08:36:17 +0000 |
commit | ac7b928bc49dc71adf8e49180a451a31950a8389 (patch) | |
tree | 67c43d38ee63a91d716a221bfed0fdf2d838af32 | |
parent | 7e2b28525984e00197cb1ddf7499f8d38714bf02 (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.c | 4 |
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; |