Commit 7b431d01 authored by Kristof Szabados's avatar Kristof Szabados
Browse files

actually use value redirection

Signed-off-by: Kristof Szabados's avatarkristof <>
parent e519ae76
......@@ -1728,7 +1728,7 @@ public class PortGenerator {
source.append("return TitanAlt_Status.ALT_NO;\n");
source.append("} else {\n");
source.append("//FIXME set param_ref\n");
source.append(MessageFormat.format("catch_template.set_value(head.exception_{0});\n", index));
source.append("if (sender_pointer != null) {\n");
if (isAddress) {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment