Merge pull request #46 from Traumlos/master

kovzol · web-flow · commit e978d58e10fa · 2025-03-28T17:54:17.000+01:00
fix versioning problem
diff --git a/src/main/java/gprover/AuxPt.java b/src/main/java/gprover/AuxPt.java
@@ -29,7 +29,7 @@ public AuxPt(int t) {
      * @return the constructed point as a string
      */
     public String getConstructedPoint() {
-        return vptlist.getFirst().toString();
+        return vptlist.get(0).toString();
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ public AuxPt(int t) {`
`29`	`29`	`* @return the constructed point as a string`
`30`	`30`	`*/`
`31`	`31`	`public String getConstructedPoint() {`
`32`		`- return vptlist.getFirst().toString();`
	`32`	`+ return vptlist.get(0).toString();`
`33`	`33`	`}`
`34`	`34`
`35`	`35`	`/**`