oboe

TeamCohen · Sep 13, 2016 · 7061176 · 7061176
1 parent a663553
commit 7061176
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/java/main/edu/cmu/ml/proppr/prove/DprProver.java b/src/java/main/edu/cmu/ml/proppr/prove/DprProver.java
@@ -68,7 +68,7 @@ public Prover<StateProofGraph> copy() {
 
 	public void configure(String param) {
 		if (param.startsWith("maxTreeDepth=")) {
-			this.maxTreeDepth = Integer.parseInt(param.substring(param.indexOf('=')));
+			this.maxTreeDepth = Integer.parseInt(param.substring(param.indexOf('=')+1));
 		}
 	}
 

diff --git a/src/java/main/edu/cmu/ml/proppr/prove/IdDprProver.java b/src/java/main/edu/cmu/ml/proppr/prove/IdDprProver.java
@@ -68,7 +68,7 @@ public Prover<CachingIdProofGraph> copy() {
 
 	public void configure(String param) {
 		if (param.startsWith("maxTreeDepth=")) {
-			this.maxTreeDepth = Integer.parseInt(param.substring(param.indexOf('=')));
+			this.maxTreeDepth = Integer.parseInt(param.substring(param.indexOf('=')+1));
 		}
 	}