diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index 0ffd0fc708b25016bc8cab85c93d498560b7445b..559dc93a0e4a2140b368ba893c506d746ffa5648 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -154,9 +154,11 @@ trait ASTExtractors {
 
 
     object ExStringLiteral {
-      def unapply(tree: Apply): Option[String] = tree  match {
+      def unapply(tree: Tree): Option[String] = tree  match {
         case Apply(ExSelected("leon", "lang", "string", "package", "strToStr"), (str: Literal) :: Nil) =>
           Some(str.value.stringValue)
+        case Literal(c @ Constant(i)) if c.tpe == StringClass.tpe => 
+          Some(c.stringValue)
         case _ =>
           None
       }