diff options
Diffstat (limited to 'src/interp/varini.boot.pamphlet')
| -rw-r--r-- | src/interp/varini.boot.pamphlet | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/interp/varini.boot.pamphlet b/src/interp/varini.boot.pamphlet index 0d7c050a..6e8c0314 100644 --- a/src/interp/varini.boot.pamphlet +++ b/src/interp/varini.boot.pamphlet @@ -173,7 +173,6 @@ $charNumSymVector := NIL -- Modes $ExitMode := 'ExitMode $FullMode := 'FullMode -$NoValueMode := 'NoValueMode $ValueMode := 'ValueMode --error message facility @@ -193,7 +192,6 @@ $sefoDerivedAttributes := [ 'type, 'tfinfo, 'signature, 'pooled ] --from NCMODE BOOT $ValueMode := 'ValueMode -$NoValueMode := 'NoValueMode $FullMode := 'FullMode $ExitMode := 'ExitMode @@ -230,7 +228,6 @@ $phaseAbTab := '( (Reporting . "Rp" ) ) -- Items from STATS BOOT --- $timerTicksPerSecond := INTERNAL_-TIME_-UNITS_-PER_-SECOND $LINELENGTH := 80 -- Items from MSG BOOT I |