Remove unnecessary TODO

goblint · Mar 14, 2023 · 8c0af07 · 8c0af07
1 parent 4c80826
commit 8c0af07
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/regression/66-longjmp/22-multifun-arg.c b/tests/regression/66-longjmp/22-multifun-arg.c
@@ -29,8 +29,8 @@ int main () {
       fun(&val);
    } else {
       __goblint_check(x == 2);
-      __goblint_check(val == 1); //TODO
-      __goblint_check(global == 42); //TODO
+      __goblint_check(val == 1);
+      __goblint_check(global == 42);
    }
 
    return(0);