Remove unused variable and fix indentation

epfl-lara · May 11, 2021 · 108cfef · 108cfef
1 parent cb93795
commit 108cfef
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/scala/inox/ast/SymbolOps.scala b/src/main/scala/inox/ast/SymbolOps.scala
@@ -911,12 +911,11 @@ trait SymbolOps { self: TypeOps =>
       if ((params.map(_.tpe) :+ to).forall(tp => hasInstance(tp, seen) contains true)) Some(true) else None
     case adt: ADTType =>
       val sort = adt.getSort
-      val cons = sort.constructors.sortBy(_.fields.size).head
       if (seen(adt)) None
       else if (sort.hasInvariant) None
       else if (!sort.definition.isWellFormed) Some(false)
       else if (sort.constructors.sortBy(_.fields.size).exists(cons =>
-              cons.fields.forall(vd => hasInstance(vd.tpe, seen + adt) contains true)))
+                cons.fields.forall(vd => hasInstance(vd.tpe, seen + adt) contains true)))
         Some(true)
       else None
     case _: RefinementType => None