diff options
Diffstat (limited to 'Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps')
-rw-r--r-- | Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps b/Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps index 1182f53e61e..ec5db61b9f0 100644 --- a/Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps +++ b/Master/tlpkg/tlgs/Resource/Init/gs_dps1.ps @@ -21,7 +21,7 @@ level2dict begin % ------ Virtual memory ------ % /currentshared /.currentglobal load def -/scheck /.gcheck load def +/scheck {.gcheck} bind odef %****** FOLLOWING IS WRONG ****** /shareddict currentdict /globaldict .knownget not { 20 dict } if def |