update Semantic Version

tmitsi · tmitsi · commit 6e804e55c6fd · 2020-10-22T22:42:02.000+03:00
diff --git a/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRun.java b/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRun.java
@@ -107,7 +107,7 @@ else if (lang.equalsIgnoreCase("tptp"))
 		{
 			systemInstantiation = "[PSOA2TPTP,VampirePrime]";
 		}
-		return "PSOATransRun" + "1.5" + systemInstantiation;
+		return "PSOATransRun" + "1.5.1" + systemInstantiation;
 	}
 	
 	/***

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,7 @@ else if (lang.equalsIgnoreCase("tptp"))`
`107`	`107`	`{`
`108`	`108`	`systemInstantiation = "[PSOA2TPTP,VampirePrime]";`
`109`	`109`	`}`
`110`		`- return "PSOATransRun" + "1.5" + systemInstantiation;`
	`110`	`+ return "PSOATransRun" + "1.5.1" + systemInstantiation;`
`111`	`111`	`}`
`112`	`112`
`113`	`113`	`/***`