diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt
index 2a4ccbc8..ecece286 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-syntax.rkt
@@ -1,7 +1,8 @@
 #lang typed/racket
 (require racket/syntax)
 
-(: f : -> Syntax)
+(: f : -> (Syntaxof Any))
 (define (f)
   (with-syntax* ([(x ...) (list 1 2 3)])
     #`(#,(syntax +) x ...)))
+  
\ No newline at end of file