JavaScriptCore-7601.1.46.3.tar.gz

[apple/javascriptcore.git] / dfg / DFGEdge.cpp

diff --git a/dfg/DFGEdge.cpp b/dfg/DFGEdge.cpp
index bf05f350291442507692de6a3cf4247b398a02e9..154401e4d36be7d054435cc465b5939a01e31051 100644 (file)
--- a/dfg/DFGEdge.cpp
+++ b/dfg/DFGEdge.cpp
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2013 Apple Inc. All rights reserved.
+ * Copyright (C) 2013, 2014 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -36,7 +36,7 @@ namespace JSC { namespace DFG {
 void Edge::dump(PrintStream& out) const
 {
     if (useKindUnchecked() != UntypedUse) {
-        if (needsCheck())
+        if (!isProved())
             out.print("Check:");
         out.print(useKind(), ":");
     }