From 45985dd0dba3c3e1f453d72d91df2c6720392cc9 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Mon, 12 Nov 2012 17:22:59 +0400
Subject: [PATCH] refactoring (extracted method usage)

---
 .../jet/lang/resolve/calls/inference/ConstraintSystemImpl.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintSystemImpl.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintSystemImpl.java
index bbf04dcdc91..c3154caf1cc 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintSystemImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintSystemImpl.java
@@ -337,7 +337,7 @@ public class ConstraintSystemImpl implements ConstraintSystem {
 
     @Override
     public boolean isSuccessful() {
-        return !hasTypeConstructorMismatch() && !hasUnknownParameters() && !hasConflictingConstraints();
+        return !hasContradiction() && !hasUnknownParameters();
     }
 
     @Override