Compile fix for previous commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4528 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismCL.java

@@ -915,6 +915,8 @@ public class PrismCL
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {
 				error("Couldn't open file \"" + exportStatesFilename + "\" for output");
+			} catch (PrismException e) {
+				error(e.getMessage());
 			}
 		}
 
@@ -926,6 +928,8 @@ public class PrismCL
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {
 				error("Couldn't open file \"" + exportSpyFilename + "\" for output");
+			} catch (PrismException e) {
+				error(e.getMessage());
 			}
 		}
 
@@ -937,6 +941,8 @@ public class PrismCL
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {
 				error("Couldn't open file \"" + exportDotFilename + "\" for output");
+			} catch (PrismException e) {
+				error(e.getMessage());
 			}
 		}
 
@@ -977,6 +983,8 @@ public class PrismCL
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {
 				error("Couldn't open file \"" + exportBSCCsFilename + "\" for output");
+			} catch (PrismException e) {
+				error(e.getMessage());
 			}
 		}
 	}