Update comment

goblint · Dec 30, 2024 · e03a6f7 · e03a6f7
1 parent 79df614
commit e03a6f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/46-apron2/98-invalidate-more.c b/tests/regression/46-apron2/98-invalidate-more.c
@@ -16,7 +16,7 @@ int main() {
 
   fscanf(stdin, "%d", &other);
 
-   // Fails as debug is invalidated
+   // Use to fail as debug was invalidated
   __goblint_check(debug <= 3);
   return 0;
 }