From 194bb1bb109de1c4552fc0f3febbcb4b6b065435 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 7 Jul 2020 22:45:19 +0200
Subject: [PATCH] functions: Fix the contract for tbf.

---
 functions.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/functions.rkt b/functions.rkt
index 4ab12c2..33084e7 100644
--- a/functions.rkt
+++ b/functions.rkt
@@ -12,7 +12,7 @@
 (provide
  ;; Structures
  (contract-out
-  [struct tbf ((weights number?) (threshold (vectorof number?)))])
+  [struct tbf ((weights (vectorof number?)) (threshold number?))])
  ;; Functions
  (contract-out
   [tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))]