aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/UpperProgram.java4
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 @@
1package uk.ac.ox.cs.pagoda.rules; 1package uk.ac.ox.cs.pagoda.rules;
2 2
3import org.apache.commons.io.FilenameUtils;
4
3public abstract class UpperProgram extends ApproxProgram { 5public 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}