Revision - 8ef8a0a - Capture exception, and print it out, in case we get an error in [...]

Revision 8ef8a0a3b0687da48b907fbb2dcd8c25d0c4928d authored by Roberto Di Cosmo on 07 October 2011, 06:41:05 UTC, committed by Roberto Di Cosmo on 07 October 2011, 06:41:05 UTC

Capture exception, and print it out, in case we get an error in applying the user function.

1 parent b52f266

Files
Changes

Permalinks

.depend

parmap.cmo: parmap.cmi
parmap.cmx: parmap.cmi
parmap.cmi:

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...