diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-04 07:04:09 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-04 07:04:09 -0800 |
| commit | 32d2c2039d6c3650f1c4ce6d9cd04df8000e66b3 (patch) | |
| tree | 616b1194e33458446501adfb61c19d3d23845892 /src | |
| parent | 56050aa85a6b25def4437a48e4cc1706b48cc5bb (diff) | |
| download | open-axiom-32d2c2039d6c3650f1c4ce6d9cd04df8000e66b3.tar.gz | |
orDnf: Fix longstanding thinko.
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/simpbool.boot | 4 |
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 |