From 316e0e66095bc302c3435da046b2ab81df559e42 Mon Sep 17 00:00:00 2001
From: Dmitriy Novozhilov <dmitriy.novozhilov@jetbrains.com>
Date: Tue, 25 Aug 2020 12:07:59 +0300
Subject: [PATCH] [FIR] Update testdata

---
 .../fromSource/good/returnsImplies/booleanOperators.txt     | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt
index c227f6e84df..8074e930c43 100644
--- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt
@@ -16,7 +16,7 @@ FILE: booleanOperators.kt
     public final fun myRequireAnd(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit|
         [R|Contract description]
          <
-            Returns(WILDCARD) -> (b1) && (b2)
+            Returns(WILDCARD) -> b1 && b2
         >
      {
         [StubStatement]
@@ -30,7 +30,7 @@ FILE: booleanOperators.kt
     public final fun myRequireOr(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit|
         [R|Contract description]
          <
-            Returns(WILDCARD) -> (b1) || (b2)
+            Returns(WILDCARD) -> b1 || b2
         >
      {
         [StubStatement]
@@ -44,7 +44,7 @@ FILE: booleanOperators.kt
     public final fun myRequireNot(b: R|kotlin/Boolean|): R|kotlin/Unit|
         [R|Contract description]
          <
-            Returns(WILDCARD) -> (!)b
+            Returns(WILDCARD) -> !b
         >
      {
         [StubStatement]