class Page_marker : public Smob<Page_marker>
{
public:
- SCM mark_smob ();
- static const char type_p_name_[];
+ SCM mark_smob () const;
+ static const char * const type_p_name_;
virtual ~Page_marker ();
private:
SCM symbol_; /* either 'page-turn-permission or 'page-break-permission */