Add a message to the ExtractionFailed exception (#1620)

epfl-lara · Dec 11, 2024 · 269b00d · 269b00d
1 parent b8b76f4
commit 269b00d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/stainless/extraction/package.scala b/core/src/main/scala/stainless/extraction/package.scala
@@ -125,7 +125,7 @@ package object extraction {
     object printer extends Printer { val trees: extraction.trees.type = extraction.trees }
   }
 
-  case class ExtractionFailed() extends Exception
+  case class ExtractionFailed() extends Exception("Extraction failed")
   case class MalformedStainlessCode(tree: inox.ast.Trees#Tree, msg: String)
     extends Exception(msg)