Skip to content
Snippets Groups Projects
Verified Commit e025887e authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Fix bug in JSON output for derivatives w.r.t. parameters

Confusion between a symbol ID and a derivation ID, which could lead to invalid
output or crash.

(cherry picked from commit 2013056a)
parent 93697149
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment