diff options
| author | Maria Matejka <mq@ucw.cz> | 2019-09-20 10:16:51 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2019-09-23 14:03:26 +0200 |
| commit | 3f477ccb03ed99cf6754baaca179fcf791bcda55 (patch) | |
| tree | a9e2335996d7b7c10ce9464e291e1f856aad3a55 /doc/old/status.tex | |
| parent | eb1e43a9af9e1905b754f1f191d228e2676ce181 (diff) | |
Filters: Function body comparison result now used.
Function bodies were compared in post-parse time, yet the result was not
used and the functions were incorrectly considered the same as before.
Now the result is used to reload affected protocols.
Diffstat (limited to 'doc/old/status.tex')
0 files changed, 0 insertions, 0 deletions