summaryrefslogtreecommitdiffhomepage
path: root/logic
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2018-12-12 17:27:26 +0100
committerStanislaw Halik <sthalik@misaki.pl>2018-12-12 17:27:26 +0100
commitfe0bbcc24ae2d0916135a8f7553ee46c9b463b44 (patch)
treea0b5fb3d3bd0376e6a2695876104ed27e8546191 /logic
parentf6443f3d661b23f68b54db278573af15a7e08d0b (diff)
logic/pipeline: oops, fix identity under disjunction
Diffstat (limited to 'logic')
-rw-r--r--logic/pipeline.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/logic/pipeline.cpp b/logic/pipeline.cpp
index a2aaa9f3..cfff7680 100644
--- a/logic/pipeline.cpp
+++ b/logic/pipeline.cpp
@@ -233,7 +233,7 @@ template<typename... xs>
static cc_noinline
bool maybe_nan(const char* text, const char* fun, int line, const xs&... vals)
{
- bool ret = (is_nan(vals) || ... || true);
+ bool ret = (is_nan(vals) || ... || false);
if (ret)
emit_nan_check_msg(text, fun, line);