# HG changeset patch
# User Henry Thompson <ht@markup.co.uk>
# Date 1627559666 -3600
# Node ID 447b9346453baa8edbd442db087f370f08fc7fa5
# Parent  668d788cac4711a7f51a7769b0c29dbaf145913f
another null case?

diff -r 668d788cac47 -r 447b9346453b safe.py
--- a/safe.py	Sat Jun 12 17:25:13 2021 +0100
+++ b/safe.py	Thu Jul 29 12:54:26 2021 +0100
@@ -138,6 +138,8 @@
               lava='['+','.join(str(e) if i!=j else \
                                 "(%s,%s)"%(e[0],RedFmt%e[1]) for i,e in enumerate(lll))+']'
               lowAir=RedFmt%lowAir
+            else:
+              lava=None
           else:
             lava=None
           print("%s(%s %s %s)@%0.1f: %s %s"%(' ' if j>-1 else '',