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
index 5b2838184..4e49c9684 100644
--- 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;