diff options
Diffstat (limited to 'otfl-node-inj.lua')
| -rw-r--r-- | otfl-node-inj.lua | 2 | 
1 files changed, 2 insertions, 0 deletions
| diff --git a/otfl-node-inj.lua b/otfl-node-inj.lua index 6fd93fa..6ba21b3 100644 --- a/otfl-node-inj.lua +++ b/otfl-node-inj.lua @@ -166,6 +166,8 @@ function nodes.trace_injection(head)      report("end run")  end +-- todo: reuse tables (i.e. no collection), but will be extra fields anyway +  function nodes.inject_kerns(head,tail,keep)      if trace_injections then          nodes.trace_injection(head) | 
