From 9d6fca5d2a1b0884471b8ea61935cf21c66d99c5 Mon Sep 17 00:00:00 2001
From: Indrajit Raychaudhuri <irc@indrajit.com>
Date: Fri, 5 Aug 2011 13:16:49 +0530
Subject: [PATCH] Remove some deprecations and redundant code

---
 ivy/Credentials.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ivy/Credentials.scala b/ivy/Credentials.scala
index a097596ed..4ca13d7a3 100644
--- a/ivy/Credentials.scala
+++ b/ivy/Credentials.scala
@@ -37,7 +37,7 @@ object Credentials
 		if(path.exists)
 		{
 			val properties = read(path)
-			def get(keys: List[String]) = keys.flatMap(properties.get).firstOption.toRight(keys.head + " not specified in credentials file: " + path)
+			def get(keys: List[String]) = keys.flatMap(properties.get).headOption.toRight(keys.head + " not specified in credentials file: " + path)
 
 			List.separate( List(RealmKeys, HostKeys, UserKeys, PasswordKeys).map(get) ) match
 			{