diff --git a/build.sbt b/build.sbt
index fc3aa2584872a570b4301e62c145ae93ba9b7983..ddd3c0a82acbdc5bb4f52cdd2f9ec27cc9174ecc 100644
--- a/build.sbt
+++ b/build.sbt
@@ -32,7 +32,7 @@ resolvers ++= Seq(
 )
 
 libraryDependencies ++= Seq(
-  "org.scala-lang" % "scala-compiler" % "2.11.6",
+  "org.scala-lang" % "scala-compiler" % "2.11.7",
   "org.scalatest" %% "scalatest" % "2.2.4" % "test",
   "com.typesafe.akka" %% "akka-actor" % "2.3.4",
   "info.hupel" %% "libisabelle" % "0.1.1",
diff --git a/src/main/scala/leon/purescala/CheckADTFieldsTypes.scala b/src/main/scala/leon/purescala/CheckADTFieldsTypes.scala
index a62837f00aec339eb323305c670dd82448c06a4e..d4583e55311cfaf843983a3f8af70ac46f7b3675 100644
--- a/src/main/scala/leon/purescala/CheckADTFieldsTypes.scala
+++ b/src/main/scala/leon/purescala/CheckADTFieldsTypes.scala
@@ -17,7 +17,7 @@ object CheckADTFieldsTypes extends UnitPhase[Program] {
         for(vd <- ccd.fields) {
           val tpe = vd.getType
           if (bestRealType(tpe) != tpe) {
-            ctx.reporter.warning("Definition of "+ccd.id.asString(ctx)+" has a field of a sub-type ("+vd.asString(ctx)+"): " +
+            ctx.reporter.warning(ccd.getPos, "Definition of "+ccd.id.asString(ctx)+" has a field of a sub-type ("+vd.asString(ctx)+"): " +
               "this type is not supported as-is by solvers and will be up-cast. " +
               "This may cause issues such as crashes.")
           }