From af7a21ae2cad873216546496ea5fe9ed6be1120e Mon Sep 17 00:00:00 2001
From: Marco Eilers <eilers.marco@googlemail.com>
Date: Tue, 11 Jun 2024 17:21:50 +0200
Subject: [PATCH] Preventing ADT plugin crash when it finds unknown AST
 extensions

---
 .../viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala   | 1 +
 1 file changed, 1 insertion(+)

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
index 96bb7d6c0..c6b0c4204 100644
--- 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
   }
 
   /**