Merge branch 'master' into highprecision

Conflicts: vdmj/src/main/java/com/fujitsu/vdmj/po/definitions/POImplicitFunctionDefinition.java
nickbattle · Oct 18, 2023 · 8095085 · 8095085
2 parents 470fc28 + db1bc1a
commit 8095085
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/po/definitions/POExplicitFunctionDefinition.java b/vdmj/src/main/java/com/fujitsu/vdmj/po/definitions/POExplicitFunctionDefinition.java
@@ -136,11 +136,6 @@ public ProofObligationList getProofObligations(POContextStack ctxt, Environment
 		ProofObligationList obligations =
 				(annotations != null) ? annotations.poBefore(this, ctxt) : new ProofObligationList();
 
-		if (typeParams != null && !typeParams.isEmpty())
-		{
-			return obligations;		// Cannot generate POs for polymorphic fns (yet)
-		}
-
 		TCNameList pids = new TCNameList();
 		boolean matchNeeded = false;