class
     VAR

inherit
     IDENTIFIER
           redefine
                 construct_name,
                 action
           end

     POLYNOM

create
     make

feature {NONE}

     construct_name: STRING is
           once
                 Result := "VAR"
           end

     action is
           do
                 info.cons_id_table (token.string_value)
           end
     
end -- class VAR