diff options
| author | Emilio Jesus Gallego Arias | 2020-03-14 04:36:44 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:37 -0400 |
| commit | ef8f09ef2fe338bb783591abb3cf8e6d5f4d404f (patch) | |
| tree | 55609919a9f54cbb9b3b541a0b6d3987c9339774 /doc/plugin_tutorial/tuto1 | |
| parent | 8ac27a8261f5f3fb5d4bf2a207a144df07477910 (diff) | |
[obligations] Remove unnecessary ctx variable
`sigma` here is actually created from `uctx`, we also uniformize
naming.
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions