This warning can occur if a file being compiled by Dafny is completely empty. Previous other occurences of this warning were bugs.