added missing file

1 job for hashcons in 1 minute and 28 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #4407
build

00:01:28