# HG changeset patch
# User Erik Eckstein <erik.eckstein@oracle.com>
# Date 1385383044 -3600
# Node ID 333ec6116aa7c98ad7222d6a082baa16a05ae054
# Parent  f9d908fb3492cc097f521f12aaaf1534bbc85161
fixed wrong assert condition in JavaTypeProfile

diff -r f9d908fb3492 -r 333ec6116aa7 graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/JavaTypeProfile.java
--- a/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/JavaTypeProfile.java	Sat Nov 23 23:20:03 2013 +0100
+++ b/graal/com.oracle.graal.api.meta/src/com/oracle/graal/api/meta/JavaTypeProfile.java	Mon Nov 25 13:37:24 2013 +0100
@@ -116,7 +116,7 @@
             probabilitySum += newNotRecorded;
 
             double factor = 1.0 / probabilitySum; // Normalize to 1.0
-            assert factor > 1.0;
+            assert factor >= 1.0;
             ProfiledType[] newResult = new ProfiledType[result.size()];
             for (int i = 0; i < newResult.length; ++i) {
                 ProfiledType curType = result.get(i);