  Assume $\boldsymbol{\Delta}^1_3$-determinacy. It is shown that for any $x
\geq_T M_1^{\#}$, $\mathrm{HOD}^{L[x]}$ is a model of GCH, and in fact, it is a
Jensen-Steel core model up to $\omega_2^{L[x]}$.
