From 56f58a1ddf689f158d67b0278e7f92107b2f5b38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 5 May 2017 03:38:58 +0200 Subject: [PATCH] Typo --- test/test-contracts-to-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/test-contracts-to-types.rkt b/test/test-contracts-to-types.rkt index f49f4ff..53c70bd 100644 --- a/test/test-contracts-to-types.rkt +++ b/test/test-contracts-to-types.rkt @@ -51,6 +51,6 @@ W) number? string?)) - '(Rec W (U (Pairof '(Rec R (U (Pairof R W) Null)) W) + '(Rec W (U (Pairof (Rec R (U (Pairof R W) Null)) W) Number String))) \ No newline at end of file