From 773a0438162d0f851c00f1df0095d3ef6dde9cd6 Mon Sep 17 00:00:00 2001 From: meiyu Date: Thu, 30 Jul 2026 11:27:03 -0700 Subject: [PATCH] fixed issue with placeholder val of 1.0e18 --- wdl/wavgen.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wdl/wavgen.py b/wdl/wavgen.py index 90f64b6..6d915b8 100644 --- a/wdl/wavgen.py +++ b/wdl/wavgen.py @@ -185,7 +185,7 @@ def loadWDL(infile, outfile="/dev/null", verbose=1): # a const name used as the SET...TO level: give # it a unique placeholder (see __constLevels__) if rawlevel not in __constLevels__: - placeholder = -1.0e18 - len(__constLevels__) + placeholder = -1.0e9 - len(__constLevels__) __constLevels__[rawlevel] = placeholder __constLevels__[placeholder] = rawlevel value = __constLevels__[rawlevel]