tree 6445744c5a275d03ede9140d04767d5095955de0
parent 8e1d0938a29d1496fb4d6d8357820746fc17883f
author Michael Schaffner <msf@opentitan.org> 1579983359 -0800
committer sriyerg <46467186+sriyerg@users.noreply.github.com> 1579984693 -0800

[prim_assert] Add accidentally deleted file back

Signed-off-by: Michael Schaffner <msf@opentitan.org>