File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -20,7 +20,8 @@ void pull_in(std::shared_ptr<Ex> ex, Kernel *kernel)
2020 std::shared_ptr<Ex> pull_ex = fetch_from_python (pobj);
2121 if (pull_ex) {
2222// acted=true;
23- multiplier_t mult = *(it->multiplier );
23+ multiplier_t mult = *(it->multiplier );
24+ str_node::parent_rel_t prel = (it->fl .parent_rel );
2425 auto topnode_it = pull_ex->begin ();
2526 auto at_arg = ex->begin (it);
2627
@@ -37,6 +38,7 @@ void pull_in(std::shared_ptr<Ex> ex, Kernel *kernel)
3738 // FIXME: prepend_children is broken!
3839 // ex->prepend_children(it, ex->begin(topnode_it), ex->end(topnode_it)); // add children of ex
3940 multiply (it->multiplier , mult);
41+ it->fl .parent_rel =prel;
4042 rr.rename_replacement_dummies (it, false );
4143 }
4244 else throw ArgumentException (" Python object '" +pobj+" ' does not exist." );
You can’t perform that action at this time.
0 commit comments