From 6ef7483bd280cb3635fc5e59245642f193fb90f6 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 18 Feb 2020 12:21:12 +0100 Subject: [PATCH] bn: Remove some extra module code at the bottom. --- bn.rkt | 6 ------ 1 file changed, 6 deletions(-) diff --git a/bn.rkt b/bn.rkt index 2164c9f..cc9fc81 100644 --- a/bn.rkt +++ b/bn.rkt @@ -85,9 +85,3 @@ (: make-bn-forms (-> (Listof (Pairof Variable UpdateFuncForm)) Network)) (define (make-bn-forms forms) (bn-form->bn (make-hash forms))) - -(let ([bn (make-bn-forms '((a . (and a b)) - (b . (not b))))] - [s (make-state '((a . #t) - (b . #t)))]) - ((hash-ref bn 'a) s))