diff --git a/src/test/resources/regression/verification/purescala/valid/Monads3.scala b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
index 8fac4a7e076510389bc999a271506d2f89c6a9cd..fc0e7149b7f43455b0531c4f2502d592bbd764da 100644
--- a/src/test/resources/regression/verification/purescala/valid/Monads3.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
@@ -1,6 +1,7 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
 import leon.lang._
+import leon.proof._
 import leon.collection._
 
 object Monads3 {
diff --git a/src/test/resources/regression/verification/purescala/valid/ParBalance.scala b/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
index dd8e16f43b2a9073764ff319fcc91d733e5f1489..35ca7537645182c003ebd3e8003e6db7c5648de2 100644
--- a/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
+++ b/src/test/resources/regression/verification/purescala/valid/ParBalance.scala
@@ -2,6 +2,7 @@
 
 import leon._
 import leon.lang._
+import leon.proof._
 
 object ParBalance {