Fixed some deprecation warnings.

1 files changed, 3 insertions, 3 deletions

diff --git a/docs/examples/monads/stateInterpreter.scala b/docs/examples/monads/stateInterpreter.scala
index 499d97e418..35568fb314 100644
--- a/docs/examples/monads/stateInterpreter.scala
+++ b/docs/examples/monads/stateInterpreter.scala
@@ -2,7 +2,7 @@ package examples.monads;
 
 object stateInterpreter {
 
-  type State = int;
+  type State = Int;
 
   val tickS = new M(s => Pair((), s + 1));
 
@@ -25,7 +25,7 @@ object stateInterpreter {
 
   trait Term;
   case class Var(x: Name) extends Term;
-  case class Con(n: int) extends Term;
+  case class Con(n: Int) extends Term;
   case class Add(l: Term, r: Term) extends Term;
   case class Lam(x: Name, body: Term) extends Term;
   case class App(fun: Term, arg: Term) extends Term;
@@ -34,7 +34,7 @@ object stateInterpreter {
   case object Wrong extends Value {
    override def toString() = "wrong"
   }
-  case class Num(n: int) extends Value {
+  case class Num(n: Int) extends Value {
     override def toString() = n.toString();
   }
   case class Fun(f: Value => M[Value]) extends Value {