# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1487887509 0
# Node ID 5c19b4bd320088dfaaf36039600898d02c3eecac
# Parent  4f75ef150e1b141c00791c19af5c39d706eb87ee
Whitespace

diff -r 4f75ef150e1b -r 5c19b4bd3200 src/reasoners/zdd.lisp
--- a/src/reasoners/zdd.lisp	Thu Feb 23 20:18:19 2017 +0000
+++ b/src/reasoners/zdd.lisp	Thu Feb 23 22:05:09 2017 +0000
@@ -238,6 +238,7 @@
   ;; a child ZDD of all the possible combos.
   (sprout-traverse reasoner iset))
 
+
 ;;;; Basic API ----------------------------------------------------------------
 (defun number-to-term (reasoner number)
   (gethash number (zr-number->term reasoner)))