- Fixed the svn version number registering. Still needs some work

though, as the -SVNVERSION thing only needs to be passed to the
  builder of main.c.

src/main.c

@@ -84,11 +84,7 @@ const char *progname = "scyther";
  * Note that this is only referenced in the help output of the commandline program.
  * \todo Come up with a useful solution for release names.
  */
-#ifdef SVNCHANGED
-const char *releasetag = SVNVERSION " [modified]";
-#else
 const char *releasetag = SVNVERSION;
-#endif
 
 //! The number of seconds a test is allowed to run
 static int time_limit_seconds;
@@ -270,9 +266,9 @@ main (int argc, char **argv)
     {
       printf ("'%s' model checker for security protocols.\n", progname);
 #ifdef DEBUG
-      printf ("%s, compiled with debugging support.\n", releasetag);
+      printf ("Revision %s, compiled with debugging support.\n", releasetag);
 #else
-      printf ("%s\n", releasetag);
+      printf ("Revision %s\n", releasetag);
 #endif
       printf ("December 2003--, Cas Cremers\n");
       exitcode = 0;