From 8597e400a922bb23886a184b686c804f98fdffa2 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 18 Oct 2018 21:23:25 +0200
Subject: [PATCH] FileSetting: remove dead code

Successful instanceof implies non-null.
---
 prism/src/settings/FileSetting.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/settings/FileSetting.java b/prism/src/settings/FileSetting.java
index 09d9dd0d..e6dffd7c 100644
--- a/prism/src/settings/FileSetting.java
+++ b/prism/src/settings/FileSetting.java
@@ -87,8 +87,7 @@ public class FileSetting extends Setting
 		if(obj instanceof File)
 		{
 			File f = (File)obj;
-			if(f != null) validFile = f.isFile();
-			else validFile = false;
+			validFile = f.isFile();
 		}
 		else 
 			validFile = false;