add comment on dec_agree in evmap

1 job for master in 4 minutes (queued for 6 seconds)
Status Job ID Name Coverage
  Test
passed #1816
iris_atomic-coq8.5.3

00:04:00