--- src/gpr_version.adb.orig	2014-04-17 09:50:17.000000000 +0000
+++ src/gpr_version.adb
@@ -65,14 +65,7 @@ package body GPR_Version is
          end if;
       end loop Last_Loop;
 
-      case Build_Type is
-         when Gnatpro =>
-            return "Pro " & Gpr_Version & " " & Date & Host;
-         when GPL =>
-            return "GPL " & Gpr_Version & " " & Date & Host;
-         when FSF =>
-            return Gpr_Version & " " & Date & Host;
-      end case;
+      return Gpr_Version & " " & Date & Host;
    end Gpr_Version_String;
 
 end GPR_Version;