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