# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1444514115 -7200
# Node ID 065abc8520c57074949f63f6070bea4cc56a3259
# Parent  0be3368c04c4b463b910317e5f0227439ef02b7b# Parent  465210884ab2855df5f78de6294ae0fc9c9ae870
Fixed the get_float function.

diff -r 0be3368c04c4 -r 065abc8520c5 optimiser.py
--- a/optimiser.py	Sat Oct 10 18:54:01 2015 +0200
+++ b/optimiser.py	Sat Oct 10 23:55:15 2015 +0200
@@ -367,9 +367,9 @@
 def get_float(options, flag):
     try:
         i = options.index(flag)
-        if i+1 < len(options) and options[i+1].isdigit():
+        try:
             return float(options[i+1])
-        else:
+        except (IndexError, ValueError):
             return 1.0
     except ValueError:
         return 0.0