From 84e1f15e5bcf6e89525326af12bc643827c62fa6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 5 May 2017 03:44:50 +0200 Subject: [PATCH] Typo, again --- 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 53c70bd..f8a5da9 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 W R) Null)) W) Number String))) \ No newline at end of file