Preventing ADT plugin crash when it finds unknown AST extensions

viperproject · Jun 11, 2024 · af7a21a · af7a21a
1 parent 1b588f0
commit af7a21a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala b/src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala
@@ -388,6 +388,7 @@ class AdtEncoder(val program: Program) extends AdtNameManager {
     */
   private def containsFunctionIsDerived: Boolean = program.extensions.exists {
     case a: Adt => a.derivingInfo.contains(getContainsFunctionName)
+    case _ => false
   }
 
   /**