test: Fix label naming.

trailofbits · Sep 3, 2024 · d1cd204 · d1cd204
1 parent 6e8d0ee
commit d1cd204
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/vast/Dialect/HighLevel/goto-a.c b/test/vast/Dialect/HighLevel/goto-a.c
@@ -2,7 +2,7 @@
 // RUN: %vast-cc1 -vast-emit-mlir=hl %s -o %t && %vast-opt %t | diff -B %t -
 
 int main() {
-    // CHECK: [[L:%[0-9]+]] = hl.label.decl "end" : !hl.label
+    // CHECK: [[L:%[0-9]+]] = hl.label.decl @end : !hl.label
 
     // CHECK: hl.var @x : !hl.lvalue<!hl.int>
     int x;