
     sssseeeetttt____pppprrrriiiivvvvssss((((3333))))           MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444))))            sssseeeetttt____pppprrrriiiivvvvssss((((3333))))

     NNNNAAAAMMMMEEEE
          set_privs() - set the privs string for an object

     SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
          void set_privs( object ob, string privs );

     DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
          Sets the privs string for `ob' to `privs'.

          This efun is only available if PRIVS is defined at driver
          compile time.

     SSSSEEEEEEEE AAAALLLLSSSSOOOO
          privs_file(4), query_privs(3)

     Page 1                                          (printed 3/16/95)

