/[svn]/driver/cduce.ml
ViewVC logotype

Diff of /driver/cduce.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 56 by abate, Tue Jul 10 17:01:20 2007 UTC revision 57 by abate, Tue Jul 10 17:01:47 2007 UTC
# Line 117  Line 117 
117      Typer.register_global_types type_decls;      Typer.register_global_types type_decls;
118      List.iter phrase p      List.iter phrase p
119    with    with
120      | (Failure _ | Not_found) as e ->      | (Failure _ | Not_found | Invalid_argument _) as e ->
121          raise e  (* To get the ocamlrun stack trace *)          raise e  (* To get the ocamlrun stack trace *)
122      | exn -> print_exn ppf exn      | exn -> print_exn ppf exn
123    
Legend:
Removed from v.56  
changed lines
  Added in v.57
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5