diff options
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 |