SType.isValueOfType test fix

ergoplatform · Jun 5, 2024 · 9eb2c16 · 9eb2c16
1 parent c766d60
commit 9eb2c16
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/sc/shared/src/test/scala/sigmastate/TypesSpecification.scala b/sc/shared/src/test/scala/sigmastate/TypesSpecification.scala
@@ -13,8 +13,6 @@ class TypesSpecification extends SigmaTestingData {
       implicit val tWrapped = wrappedTypeGen(t)
       forAll { x: SPredefType#WrappedType =>
         isValueOfType(x, t) shouldBe true
-        // since forall t. SHeader != t
-        isValueOfType(x, SHeader) shouldBe false
       }
     }
   }