From 734fdd15f2b6d25a2b28df5b616d898e776a17c2 Mon Sep 17 00:00:00 2001
From: Utz-Uwe Haus <lisp@uuhaus.de>
Date: Tue, 22 Jun 2010 17:20:32 +0200
Subject: [PATCH] Fix NNF generation if explicit :ATOMs are used

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
---
 satwrap.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/satwrap.lisp b/satwrap.lisp
index 78da8bd..4b2f6fe 100644
--- a/satwrap.lisp
+++ b/satwrap.lisp
@@ -286,7 +286,7 @@ Supports :IMPLY, :IFF, binary :XOR, and :NOR. "
 						      (standard-tree->nnf `(:NOT ,c)))
 						  (cdr subexpr))))
 			   ;; `quoted' atom: keep
-			   (:ATOM subexpr)
+			   (:ATOM `(:NOT ,subexpr))
 			   (otherwise `(:NOT ,subexpr)))
 			 ;; non-quoted atom:
 			 `(:NOT ,subexpr)))
-- 
2.11.4.GIT