From 32d2c2039d6c3650f1c4ce6d9cd04df8000e66b3 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Mon, 4 Jan 2016 07:04:09 -0800
Subject: orDnf: Fix longstanding thinko.

---
 src/interp/simpbool.boot | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3