diff --git a/core/pog/src/main/java/org/overture/pog/obligation/NonZeroObligation.java b/core/pog/src/main/java/org/overture/pog/obligation/NonZeroObligation.java
index <HASH>..<HASH> 100644
--- a/core/pog/src/main/java/org/overture/pog/obligation/NonZeroObligation.java
+++ b/core/pog/src/main/java/org/overture/pog/obligation/NonZeroObligation.java
@@ -40,7 +40,7 @@ public class NonZeroObligation extends ProofObligation
 	public NonZeroObligation(
 		ILexLocation location, PExp exp, IPOContextStack ctxt)
 	{
-		super(exp, POType.NON_ZERO, ctxt, exp.getLocation());
+		super(exp, POType.NON_ZERO, ctxt, location);
 		
 		// exp <> 0
Changed NonZero location to the divide operator.