diff --git a/checker/checker.sh b/checker/checker.sh index 94099c7a40ed030abb3d60d4ee29d1b82cd772ed..2e84a2335096a0e012ad14a54f282f1fab42ed97 100755 --- a/checker/checker.sh +++ b/checker/checker.sh @@ -67,8 +67,6 @@ timeout_exceeded() exit 0 # TODO: fixme } -timeout_exceeded /tmp/bogdan -exit 1 compute_total() {