diff options
Diffstat (limited to 'Build/source/texk/tex4htk/tex4ht.c')
-rw-r--r-- | Build/source/texk/tex4htk/tex4ht.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/tex4htk/tex4ht.c b/Build/source/texk/tex4htk/tex4ht.c index dad159f498e..325c0b64dc0 100644 --- a/Build/source/texk/tex4htk/tex4ht.c +++ b/Build/source/texk/tex4htk/tex4ht.c @@ -9083,7 +9083,7 @@ for( i = (INTEGER) get_unt(1) if( flags & 0x0200 - ){ (INTEGER) get_unt(4); } + ){ (void) get_unt(4); } if( flags & 0x0800 |