diff --git a/testcases/verification/monads/Freshen.scala b/testcases/verification/monads/Freshen.scala
index 06c7c4bd2afa50ad147a8d5ceadf67524878edbc..de8c7eda592ba211a948c4beb5f2925d6a53974f 100644
--- a/testcases/verification/monads/Freshen.scala
+++ b/testcases/verification/monads/Freshen.scala
@@ -1,6 +1,7 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
 import leon.monads.state._
+import leon.lang._
 
 object Freshen {
 
diff --git a/testcases/verification/monads/StackEvaluator.scala b/testcases/verification/monads/StackEvaluator.scala
index cbe565429fb041194f247e17ba47ed62b4624f62..b4dcea50f138b3a08fc79968cd387c55ae3414a1 100644
--- a/testcases/verification/monads/StackEvaluator.scala
+++ b/testcases/verification/monads/StackEvaluator.scala
@@ -1,6 +1,7 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
 import leon.monads.state._
+import leon.collection._
 
 object StackEvaluator {
 
diff --git a/testcases/verification/monads/TicTacToe.scala b/testcases/verification/monads/TicTacToe.scala
index 8c52fe89f7cc3533cf28d4c4ffc25b0a2abddf7a..49a8366bb3e13147f75623f2b099f885117aa365 100644
--- a/testcases/verification/monads/TicTacToe.scala
+++ b/testcases/verification/monads/TicTacToe.scala
@@ -1,6 +1,8 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
+import leon.lang._
 import leon.monads.state._
+import leon.collection._
 
 object TicTacToe {