Error using displayVerificationResults>initializeVerificationVisualization (line 57)

[hbourbouh]

Error using displayVerificationResults>initializeVerificationVisualization (line 57)
Invalid inputs specified for method 'removeDialogControl'
Error in displayVerificationResults (line 10)
initializeVerificationVisualization(verificationResults);
Error in cocoSpecKind2 (line 93)
displayVerificationResults(verificationResults, compositionalMap);
Error in toLustreVerify (line 78)
status = cocoSpecKind2(nom_lustre_file, mapping_file, kind2_out);
Error in verifyMenu>kindCallback (line 50)
toLustreVerify(model_full_path);