From 903a7c9f373abf2f52543258de60253d66253fec Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 27 Jan 2006 19:38:48 +0000 Subject: [PATCH] fix PLAI for revised private contract libs svn: r2003 --- collects/plai/private/datatype-core.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/plai/private/datatype-core.ss b/collects/plai/private/datatype-core.ss index 6933e880c1..ace7e723b5 100644 --- a/collects/plai/private/datatype-core.ss +++ b/collects/plai/private/datatype-core.ss @@ -8,7 +8,8 @@ (module datatype-core mzscheme (require (lib "pconvert-prop.ss") (lib "contract.ss" "mzlib" "private") - (lib "contract-util.ss" "mzlib" "private")) + (lib "contract-util.ss" "mzlib" "private") + (lib "contract-arrow.ss" "mzlib" "private")) (require-for-syntax "core-utils.ss") (provide define-datatype-core