diff options
Diffstat (limited to 'src/interp/pile.boot')
| -rw-r--r-- | src/interp/pile.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/pile.boot b/src/interp/pile.boot index 725993fd..68f040fe 100644 --- a/src/interp/pile.boot +++ b/src/interp/pile.boot @@ -32,8 +32,7 @@ -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. import scan - -)package "BOOT" +namespace BOOT -- insertpiles converts a line-list to a line-forest where |