Ohio general revenue fund receipts from July through May totaled roughly $1 billion less than expected, according to the state’s Office of Budget and Management.