diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-13 12:51:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 12:51:58 -0400 |
| commit | 46c36cb682c91bbfad52b35c68d8332757c2bbce (patch) | |
| tree | 3599d5672572f8ea6183822d20a5285ebd23f38e /src/mono_print.sml | |
| parent | 726ec9075caf849329f0415f151c40620482c2ac (diff) | |
Print a message on Laconic compilation failure
Diffstat (limited to 'src/mono_print.sml')
0 files changed, 0 insertions, 0 deletions