hg.stevelosh.com > scully

b9b27db857cf 

Fix syntax
[view raw] [browse files]
author Steve Losh <steve@stevelosh.com>
date Thu, 23 Feb 2017 19:14:30 +0000
parents 61661613f7b8
children 6b92e67ede95
branches/tags (none)
files src/reasoners/zdd.lisp

Changes

--- 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* <>)
-      ))))
+      )))