Oops

7169409c · Nicolas Voirol · 280d6c69 · 7169409c · 7169409c
Commit 7169409c authored 9 years ago by Nicolas Voirol
--- a/src/test/resources/regression/verification/purescala/valid/Monads3.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Monads3.scala
 /* Copyright 2009-2015 EPFL, Lausanne */

 import leon.lang._
+import leon.proof._
 import leon.collection._

 object Monads3 {

--- 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 {