Commit 19c77706 authored by HEMERY Mathieu's avatar HEMERY Mathieu
Browse files

Reinitialize the index for molecule and parameter with clear_model

parent 905091e9
......@@ -197,6 +197,8 @@ clear_model :-
),
set_option(show, {}),
retractall(nusmv:query_molecules(_)),
nb_setval(molecule_index, 0),
nb_setval(parameter_index, 0),
assertz(nusmv:query_molecules([])).
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment