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 | |
| parent | 726ec9075caf849329f0415f151c40620482c2ac (diff) | |
Print a message on Laconic compilation failure
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 156c8bb9..7ef8b646 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -350,7 +350,7 @@ fun testCjrize job = fun compile job = case cjrize job of - NONE => () + NONE => print "Laconic compilation failed\n" | SOME file => let val cname = "/tmp/lacweb.c" |