diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
| commit | 9e804908dd69043c8a9942cdf6042b8dc0d76175 (patch) | |
| tree | 4437f1d468859452358a91bf5ba7071b11a1a419 /src/cjr_print.sml | |
| parent | 4960cd8c2ec1e02c90e42d16db13f045427b4173 (diff) | |
Termination checking allows anything in links and actions
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index b5d8806a..e2bc37fa 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1529,7 +1529,7 @@ fun p_file env (ds, ps) = let val (ts, defInputs, inputsVar) = case ek of - Core.Link => (ts, string "", string "") + Core.Link => (List.take (ts, length ts - 1), string "", string "") | Core.Action => case List.nth (ts, length ts - 2) of (TRecord i, _) => |