| 1683 | } |
| 1684 | |
| 1685 | void check_symbols() |
| 1686 | { |
| 1687 | register bucket *bp; |
| 1688 | |
| 1689 | if (goal->class == UNKNOWN) |
| 1690 | undefined_goal(goal->name); |
| 1691 | |
| 1692 | for (bp = first_symbol; bp; bp = bp->next) { |
| 1693 | if (bp->class == UNKNOWN) { |
| 1694 | undefined_symbol_warning(bp->name); |
| 1695 | bp->class = TERM; } } |
| 1696 | } |
| 1697 | |
| 1698 | void pack_symbols() |
| 1699 | { |
no test coverage detected