diff --git a/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala b/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
index 4352d070fbb5fba8f76348bb2f2bc53452288fe5..8e3433b94ed623d8163a8610dd05e6b0c223a04e 100644
--- a/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
+++ b/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
@@ -1,5 +1,7 @@
 /* Copyright 2009-2014 EPFL, Lausanne */
 
+import leon.lang._
+
 object Subtyping1 {
 
   sealed abstract class Tree