# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1444514095 -7200
# Node ID 465210884ab2855df5f78de6294ae0fc9c9ae870
# Parent  57b36e0df3229a67d67e072d695920152b4b3206
Fixed the get_float function.

diff -r 57b36e0df322 -r 465210884ab2 optimiser.py
--- a/optimiser.py	Sat Oct 10 18:53:43 2015 +0200
+++ b/optimiser.py	Sat Oct 10 23:54:55 2015 +0200
@@ -360,9 +360,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