diff --git a/core/pog/src/main/java/org/overture/pog/obligation/SubTypeObligation.java b/core/pog/src/main/java/org/overture/pog/obligation/SubTypeObligation.java
index <HASH>..<HASH> 100644
--- a/core/pog/src/main/java/org/overture/pog/obligation/SubTypeObligation.java
+++ b/core/pog/src/main/java/org/overture/pog/obligation/SubTypeObligation.java
@@ -191,7 +191,7 @@ public class SubTypeObligation extends ProofObligation
 
 	}
 	
-	private SubTypeObligation(PExp exp, PType etype, PType atype,
+	public SubTypeObligation(PExp exp, PType etype, PType atype,
 			IPOContextStack ctxt)
 	{
 		super(exp, POType.SUB_TYPE, ctxt, exp.getLocation());
changed visibility to allow compass pog to compile