diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 075402f13181eaa9141bfc785e6bdaf15ea2810b..6952542d69466485806a4bf564d9608c9e746aa8 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -3,6 +3,7 @@
 package leon
 package purescala
 
+import leon.utils._
 import leon.purescala.Common._
 import leon.purescala.DefOps._
 import leon.purescala.Definitions._
@@ -540,6 +541,24 @@ class PrettyPrinter(opts: PrinterOptions,
         case _ =>
       }
     }
+    if (opts.printPositions) {
+      tree.getPos match {
+        case op: OffsetPosition =>
+          p"@($op)"
+        case rp: RangePosition =>
+          if (rp.lineFrom == rp.lineTo) {
+            if (rp.colFrom == rp.colTo) {
+              p"@(${rp.lineFrom}:${rp.colFrom})"
+            } else {
+              p"@(${rp.lineFrom}:${rp.colFrom}-${rp.colTo})"
+            }
+          } else {
+            p"@(${rp.focusBegin}-${rp.focusEnd})"
+          }
+        case _ =>
+          p"@(?)"
+      }
+    }
   }
 
   object FcallMethodInvocation {