diff options
| author | Hans Hagen <pragma@wxs.nl> | 2016-12-21 20:09:16 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-12-21 20:09:16 +0100 |
| commit | 72e032447232f3f89056f352d3f6b8e2abc499cb (patch) | |
| tree | dcce6719b22076c68a286ac202ea4245999c0843 /metapost/context/base/mpiv/mp-grap.mpiv | |
| parent | ae375264381ae74f70415b2351bdbf209248e1af (diff) | |
| download | context-72e032447232f3f89056f352d3f6b8e2abc499cb.tar.gz | |
2016-12-21 18:57:00
Diffstat (limited to 'metapost/context/base/mpiv/mp-grap.mpiv')
| -rw-r--r-- | metapost/context/base/mpiv/mp-grap.mpiv | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/metapost/context/base/mpiv/mp-grap.mpiv b/metapost/context/base/mpiv/mp-grap.mpiv index 51b2e5a3d..5f102fe1c 100644 --- a/metapost/context/base/mpiv/mp-grap.mpiv +++ b/metapost/context/base/mpiv/mp-grap.mpiv @@ -473,9 +473,9 @@ enddef ; % String manipulation routines for MetaPost % It is harmless to input this file more than once. -vardef isdigit primary d = - ("0"<=d)and(d<="9") -enddef ; +% vardef isdigit primary d = +% ("0"<=d)and(d<="9") +% enddef ; % Number of initial characters of string s where `c <character>' is true |