From db42e20f1cd0250c10261ccead029980d7eeb5d5 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 7 Jul 2020 23:25:51 +0200
Subject: [PATCH] functions: Define apply-tbf using define.

I forgot to rewrite that from define/contract when I added the out
contract to the module exports.
---
 functions.rkt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/functions.rkt b/functions.rkt
index 375ecfe..a39e09d 100644
--- a/functions.rkt
+++ b/functions.rkt
@@ -253,8 +253,7 @@
 ;;; Applying a TBF consists in multiplying the weights by the
 ;;; corresponding inputs and comparing the sum of the products to the
 ;;; threshold.
-(define/contract (apply-tbf tbf inputs)
-  (-> tbf? (vectorof (or/c 0 1)) (or/c 0 1))
+(define (apply-tbf tbf inputs)
   (any->01
    (>
     ;; The scalar product between the inputs and the weights