diff --git a/pkgs/htdp-pkgs/htdp-test/tests/htdp-lang/pr/12117.rkt b/pkgs/htdp-pkgs/htdp-test/tests/htdp-lang/pr/12117.rkt
index 33acc795c7..9b85447248 100644
--- a/pkgs/htdp-pkgs/htdp-test/tests/htdp-lang/pr/12117.rkt
+++ b/pkgs/htdp-pkgs/htdp-test/tests/htdp-lang/pr/12117.rkt
@@ -1,6 +1,5 @@
-#lang htdp/bsl
+#lang htdp/asl
+
 (require racket/match)
 (define-struct a (b))
-(match (make-a 1)
- [(struct a (b)) b]
- [#f 3])
+ (match (make-a 1) [(struct a (b)) b] [#f 3])