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