diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java index cc476b85..f40b84d1 100644 --- a/prism/src/userinterface/model/GUIMultiModel.java +++ b/prism/src/userinterface/model/GUIMultiModel.java @@ -1055,7 +1055,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener modelFilters = new GUIPrismFileFilter[GM_ENABLED ? 3 : 2]; modelFilters[FILTER_PRISM_MODEL] = new GUIPrismFileFilter("PRISM models (*.prism, *.pm, *.nm, *.sm)"); - modelFilters[FILTER_PRISM_MODEL].addExtension("prism2"); + modelFilters[FILTER_PRISM_MODEL].addExtension("prism"); modelFilters[FILTER_PRISM_MODEL].addExtension("pm"); modelFilters[FILTER_PRISM_MODEL].addExtension("nm"); modelFilters[FILTER_PRISM_MODEL].addExtension("sm");