From 8c3f03ae035c9ce86452211db4d0dff60177c024 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Thu, 28 Jun 2007 19:23:57 +0000
Subject: [PATCH] make it nicer & shorter  :-)

---
 src/Main/options.cxx | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/Main/options.cxx b/src/Main/options.cxx
index a32745ce3..80489d4c1 100644
--- a/src/Main/options.cxx
+++ b/src/Main/options.cxx
@@ -1416,11 +1416,9 @@ set_property(const string& arg)
         type = name.substr(0, pos);
         name = name.substr(pos + 1);
     }
-    if (type == "s" || type == "string") {
-        fgSetString(name.c_str(), value.c_str());
-        return true;
-    }
-    if (type == "d" || type == "double")
+    if (type == "s" || type == "string")
+        ;
+    else if (type == "d" || type == "double")
         fgSetDouble(name.c_str(), 0.0);
     else if (type == "f" || type == "float")
         fgSetFloat(name.c_str(), 0.0f);
-- 
2.39.5