data61 / PSL

Other
65 stars 9 forks source link

SeLFiE: move Unode_Has_Print from Eval_Path to Eval_Node #145

Closed yutakang closed 3 years ago

yutakang commented 4 years ago

Maybe not?

yutakang commented 3 years ago

I guess it does not matter. I have not seen a real problem caused by this issue while maintaining SeLFiE for months.