
     eeeerrrrrrrroooorrrr((((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))))                eeeerrrrrrrroooorrrr((((3333))))

     NNNNAAAAMMMMEEEE
          error - generate a run-time error

     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 error( string err );

     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
          A run-time error `err' will be generated when error() is
          called.  Execution of the current thread will halt, and the
          trace will be recorded to the debug log.

     SSSSEEEEEEEE AAAALLLLSSSSOOOO
          catch(3), throw(3), error_handler(4)

     Page 1                                          (printed 3/16/95)

