version

uuverifiers · Apr 21, 2017 · e478573 · e478573
1 parent 382de56
commit e478573
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lazabs/Main.scala b/src/lazabs/Main.scala
@@ -176,7 +176,7 @@ object Main {
 
 
   val greeting =
-    "Eldarica 1.3, 2017-04-21. (C) Copyright 2012-2017 Hossein Hojjat and Philipp Ruemmer"
+    "Eldarica v1.3, 2017-04-21. (C) Copyright 2012-2017 Hossein Hojjat and Philipp Ruemmer"
 
   def doMain(args: Array[String],
              stoppingCond : => Boolean) : Unit = try {