diff --git a/collects/tests/typed-scheme/succeed/struct-exec.ss b/collects/tests/typed-scheme/succeed/struct-exec.ss
index 23fb3d06..0964a5d9 100644
--- a/collects/tests/typed-scheme/succeed/struct-exec.ss
+++ b/collects/tests/typed-scheme/succeed/struct-exec.ss
@@ -1,3 +1,3 @@
 #lang typed-scheme
-(define-typed-struct/exec X ([a : Number] [b : Boolean]) [(lambda: ([x : X]) (+ 3 )) : (X -> Number)])
+(define-typed-struct/exec X ([a : Number] [b : Boolean]) [(lambda: ([x : X]) (+ 3 (X-a x))) : (X -> Number)])
 ((make-X 1 #f))