# HG changeset patch
# User wenzelm
# Date 1275249555 -7200
# Node ID 48a4414eb846dd4d0e28317d388edbf10e98b3d2
# Parent  3af985b1055084bfa68aa7a7a7fb2dd4b874145c
one extra space to accomodate symbolic indentifiers etc.;

diff -r 3af985b10550 -r 48a4414eb846 src/Pure/PIDE/state.scala
--- a/src/Pure/PIDE/state.scala	Sun May 30 21:34:19 2010 +0200
+++ b/src/Pure/PIDE/state.scala	Sun May 30 21:59:15 2010 +0200
@@ -56,7 +56,7 @@
     types.find(t => t.start <= pos && pos < t.stop) match {
       case Some(t) =>
         t.info match {
-          case Command.TypeInfo(ty) => Some(command.source(t.start, t.stop) + ": " + ty)
+          case Command.TypeInfo(ty) => Some(command.source(t.start, t.stop) + " : " + ty)
           case _ => None
         }
       case None => None