summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/vptovf.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/vptovf.ch')
-rw-r--r--Build/source/texk/web2c/vptovf.ch6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/vptovf.ch b/Build/source/texk/web2c/vptovf.ch
index 2c859b76ee7..8c62af94142 100644
--- a/Build/source/texk/web2c/vptovf.ch
+++ b/Build/source/texk/web2c/vptovf.ch
@@ -106,6 +106,12 @@ begin while loc=limit do fill_buffer;
begin cur_char:=xord[buffer[loc+1]];
@z
+@x [73] Interpret '--' as '+', not '-'.
+ begin cur_char:=" "; negative:=true;
+@y
+ begin cur_char:=" "; negative:=not negative;
+@z
+
% [89] `index' is not a good choice for an identifier on Unix systems.
% Neither is `class', on AIX.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%