diff --git a/executable_semantics/testdata/basic_syntax/trace.carbon b/executable_semantics/testdata/basic_syntax/trace.carbon
index 16937731d4f7..1f717d6424db 100644
--- a/executable_semantics/testdata/basic_syntax/trace.carbon
+++ b/executable_semantics/testdata/basic_syntax/trace.carbon
@@ -13,7 +13,7 @@
 // CHECK: fn Print (format_str: String) {
 // CHECK: ********** type checking **********
 // CHECK: checking pattern (format_str: String)
-// CHECK: constants: Main: fun<Main>, Print: fun<Print>
+// CHECK: constants: {{.*Main: fun<Main>.*}}
 // CHECK: ********** type checking complete **********
 // CHECK: fn Print (format_str: String) {
 // CHECK: ********** starting execution **********