diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-01-09 23:39:45 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-01-09 23:39:45 +0000 |
commit | b13fce1d942b61b6d2c79f716c30258cb9deb01b (patch) | |
tree | 3789320980ba6c20284eea15605d633eff597306 /Build/source/utils/autosp/autosp-src | |
parent | b8b72a0740514b41b570cda48d26ef3999463023 (diff) |
avoid compiler warning
git-svn-id: svn://tug.org/texlive/trunk@49654 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/autosp/autosp-src')
-rw-r--r-- | Build/source/utils/autosp/autosp-src/spacing_note.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/utils/autosp/autosp-src/spacing_note.c b/Build/source/utils/autosp/autosp-src/spacing_note.c index eaa377538fd..631ff1ba5ba 100644 --- a/Build/source/utils/autosp/autosp-src/spacing_note.c +++ b/Build/source/utils/autosp/autosp-src/spacing_note.c @@ -30,7 +30,7 @@ int collective_note (int i) update_global_skip (n); /* commas will be discarded by filter_output (i) */ if (*s == '.' && new_beaming == 0 && !dottedbeamnotes) - spacing = spacing * 1.50; + spacing = (int)(spacing * 1.50); else if ( (*s == '^' || *s == '_' || *s == '=' || *s == '>') && !vspacing_active[i] /* is additional spacing needed? */ ) @@ -532,7 +532,7 @@ int spacing_note (int i) || prefix ("\\qbpp", s) || prefix ("\\dspp", s) || doubledotted ) - { spacing *= 1.75; doubledotted = false;} + { spacing = (int)(spacing * 1.75); doubledotted = false;} else if (prefix ("\\whp", s) || prefix ("\\hup", s) @@ -556,7 +556,7 @@ int spacing_note (int i) || prefix ("\\qbp", s) || prefix ("\\dsp", s) || dotted ) - { spacing *= 1.5; dotted = false; } + { spacing = (int)(spacing * 1.5); dotted = false; } t = strpbrk (s+1, "{\\&|$"); /* collective coding? */ if (*t == '{') /* {...} */ |