diff src/cjr_print.sml @ 119:7fdc146b2bc2

Proper handling of non-function-call links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 16:11:25 -0400
parents 94856a3b4752
children 6230bdd122e7
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Jul 13 15:47:18 2008 -0400
+++ b/src/cjr_print.sml	Sun Jul 13 16:11:25 2008 -0400
@@ -181,6 +181,8 @@
          p_enamed env n,
          string "(ctx, lw_unit_v);",
          newline,
+         string "return;",
+         newline,
          string "}",
          newline]