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