diff --git a/library/monads/state/State.scala b/library/monads/state/State.scala
index 01ad0da3de8e94c0d85b94464b999b6d8a0d3f9a..ad47c2464f54c9e40fc430528c561ad40032ac1f 100644
--- a/library/monads/state/State.scala
+++ b/library/monads/state/State.scala
@@ -3,6 +3,8 @@ package leon.monads.state
 import leon.collection._
 import leon.lang._
 import leon.annotation._
+import State._
+
 
 @library
 case class State[S, A](runState: S => (A, S)) {
@@ -149,8 +151,6 @@ object State {
 
 @library
 object MonadStateLaws {
-  import State._
-
   /* Monadic laws:
    *
    * return a >>= k  =  k a