diff options
Diffstat (limited to 'src/interp/msgdb.boot')
| -rw-r--r-- | src/interp/msgdb.boot | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot index c0da49b3..a1fbc880 100644 --- a/src/interp/msgdb.boot +++ b/src/interp/msgdb.boot @@ -163,9 +163,6 @@ applyPrefix2String args == g x == $texFormatting => prefix2StringAsTeX x prefix2String x - listify x == - cons? x => x - [x] substituteSegmentedMsg(msg,args) == -- this does substitution of the parameters |