From 4b225124fc0a956f932f8063d854f14b70ed526d Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Wed, 14 Oct 2015 19:09:59 +0200
Subject: [PATCH] import should go at top level
---
library/monads/state/State.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/library/monads/state/State.scala b/library/monads/state/State.scala
index 01ad0da3d..ad47c2464 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
--
GitLab