diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java b/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java index 46f22e3..52d60b7 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java +++ b/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java | |||
| @@ -1,10 +1,12 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.rules; | 1 | package uk.ac.ox.cs.pagoda.rules; |
| 2 | 2 | ||
| 3 | import org.apache.commons.io.FilenameUtils; | ||
| 4 | |||
| 3 | public abstract class UpperProgram extends ApproxProgram { | 5 | public abstract class UpperProgram extends ApproxProgram { |
| 4 | 6 | ||
| 5 | @Override | 7 | @Override |
| 6 | public String getOutputPath() { | 8 | public String getOutputPath() { |
| 7 | return getDirectory() + "upper.dlog"; | 9 | return FilenameUtils.concat(getDirectory(), "upper.dlog"); |
| 8 | } | 10 | } |
| 9 | 11 | ||
| 10 | } | 12 | } |
