From 0304847a5d84948d445c023e5615329387e030a5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 31 Jan 2012 13:43:10 +0000 Subject: [PATCH] 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 | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index cea7b312..e3722562 100644 --- a/prism/src/prism/PrismCL.java +++ b/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()); } } }