diff --git a/prism/src/prism/IntegerBound.java b/prism/src/prism/IntegerBound.java
index b3a200f1..cb307acc 100644
--- a/prism/src/prism/IntegerBound.java
+++ b/prism/src/prism/IntegerBound.java
@@ -24,7 +24,6 @@
 //	
 //==============================================================================
 
-
 package prism;
 
 import parser.Values;
@@ -40,7 +39,6 @@ public class IntegerBound
 	/** The highest integer that is included in the bound. {@code null} for "no bound". */
 	private Integer highest;
 
-
 	/** Create new bounds.
 	 * @param lower: The lower bound, {@code null} represents "no lower bound"
 	 * @param lower_strict: Is the lower bound strict (> lower) or non-strict (>= lower)
@@ -221,4 +219,9 @@ public class IntegerBound
 			}
 		}
 	}
+	
+	public static void main(String args[])
+	{
+		System.out.println(new IntegerBound(1, true, 3, false));
+	}
 }