diff --git a/tests/regression/46-apron2/98-invalidate-more.c b/tests/regression/46-apron2/98-invalidate-more.c index 948b70e3ce..acf3944b10 100644 --- 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; }