Remove NDP-related stuff from PrelNames
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Fri, 31 Aug 2007 04:54:11 +0000 (04:54 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Fri, 31 Aug 2007 04:54:11 +0000 (04:54 +0000)
We don't need fixed Names for NDP built-ins. Instead, we can look them up
ourselves during VM initialisation.


No differences found