aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-04 07:04:09 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-04 07:04:09 -0800
commit32d2c2039d6c3650f1c4ce6d9cd04df8000e66b3 (patch)
tree616b1194e33458446501adfb61c19d3d23845892 /src
parent56050aa85a6b25def4437a48e4cc1706b48cc5bb (diff)
downloadopen-axiom-32d2c2039d6c3650f1c4ce6d9cd04df8000e66b3.tar.gz
orDnf: Fix longstanding thinko.
Diffstat (limited to 'src')
-rw-r--r--src/interp/simpbool.boot4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot
index e904869a..73305e4d 100644
--- a/src/interp/simpbool.boot
+++ b/src/interp/simpbool.boot
@@ -1,6 +1,6 @@
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--- Copyright (C) 2007-2012, Gabriel Dos Reis.
+-- Copyright (C) 2007-2016, Gabriel Dos Reis.
-- All rights reserved.
--
-- Redistribution and use in source and binary forms, with or without
@@ -110,7 +110,7 @@ orDnf(a,b) == -- or: (dnf, dnf) -> dnf
b = 'false => a
a = 'true or b = 'true => 'true
null a => b --null list means false
- a is [c] = coafOrDnf(c,b)
+ a is [c] => coafOrDnf(c,b)
coafOrDnf(first a,orDnf(rest a,b))
andDnf(a,b) == -- and: (dnf, dnf) -> dnf