# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1487877270 0
# Node ID b9b27db857cf770bc5b1bba7fced61ee48f8c25a
# Parent  61661613f7b891f2a0f6f521faf0a587a02ca9a8
Fix syntax

diff -r 61661613f7b8 -r b9b27db857cf src/reasoners/zdd.lisp
--- a/src/reasoners/zdd.lisp	Thu Feb 23 17:43:45 2017 +0000
+++ b/src/reasoners/zdd.lisp	Thu Feb 23 19:14:30 2017 +0000
@@ -482,7 +482,7 @@
 (defparameter *r* (make-zdd-reasoner *rules*))
 (defparameter *i* (initial-iset *r*))
 
-(defun test (
+(defun test ()
   (with-zdd
     (-<>
         (initial-iset *r*)
@@ -503,4 +503,4 @@
       (dump-iset *r* <>)
       (no <>)
       ; (draw-zdd *r* <>)
-      ))))
+      )))