more lint code

This commit is contained in:
dick
1989-03-06 15:17:39 +00:00
parent 743ba6d408
commit 0b27a93069
10 changed files with 578 additions and 412 deletions

View File

@@ -101,7 +101,7 @@ unstack_level()
#endif DEBUG
#ifdef LINT
lint_local_level(local_level);
lint_end_local(local_level);
#endif LINT
/* The implementation below is more careful than strictly
@@ -177,7 +177,7 @@ unstack_world()
register struct stack_entry *se = local_level->sl_entry;
#ifdef LINT
lint_global_level(local_level);
lint_end_global(local_level);
#endif LINT
open_name_list();