# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1643572173 18000
# Node ID 1cd5c7952aaa2d1cfd17d142a5402997bf4d35b3
# Parent  1e42c0147a4950961b69c1aa03f5ca395d3934f8
fix failure to read first line of Air/Lava,
keep me from swimming in Lava, again!

diff -r 1e42c0147a49 -r 1cd5c7952aaa python/safe.py
--- a/python/safe.py	Sat Dec 11 16:30:29 2021 -0500
+++ b/python/safe.py	Sun Jan 30 14:49:33 2022 -0500
@@ -37,8 +37,8 @@
     for k,yy in tc.items():
       tyy=[yy]
       ii=[]
-      if k==(108.5, -45.5):
-        pass
+#      if k==(108.5, -45.5):  WTF??
+#        pass
       while True:
         clean=True
         for j,yy in enumerate(tyy):
@@ -56,7 +56,6 @@
       self.columns[k]=set(ii) # so we can merge later
 
   def readPoints(self,file):
-    file.readline()
     self.points=[[float(i) for i in l.split('\t')[2].split('/')] for l in file]
 
 Block.readHeaders=readHeaders # from util