From f590499bbe4b2341755637028328167767a70a1c Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 20 Apr 2015 14:59:19 +0200
Subject: [PATCH] Add import for Set/Map
---
.../regression/verification/newsolvers/valid/Subtyping1.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala b/src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
index 4352d070f..8e3433b94 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
--
GitLab