* src/exception.c (make_report_exception_handler): Use a const

report_exception_info object.
* src/command.c (make_catch_report_apply): Likewise.

Rev: src/command.c:1.48
Rev: src/command.h:1.60

src/command.c

@@ -668,7 +668,7 @@ do_catch_simple(struct command *s,
      (name catch_report_apply)
      (super command)
      (vars
-       (info object report_exception_info)
+       (info const object report_exception_info)
        (body object command)))
 */
    
@@ -686,7 +686,7 @@ do_catch_report_apply(struct command *s,
 }
 
 struct command *
-make_catch_report_apply(struct report_exception_info *info,
+make_catch_report_apply(const struct report_exception_info *info,
 			struct command *body)
 {
   NEW(catch_report_apply, self);

src/command.h

@@ -291,11 +291,11 @@ do_catch_simple(struct command *s,
      (name catch_report_collect)
      (super command)
      (vars
-       (info object report_exception_info)))
+       (info const object report_exception_info)))
 */
 
 struct command *
-make_catch_report_apply(struct report_exception_info *info,
+make_catch_report_apply(const struct report_exception_info *info,
 			struct command *body);
 
 void