aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
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