-
Jacques-Henri Jourdan authored
Change the ;; notation for Seq and use ;;;, so that it stays compatible with stdpp/iris. This is temporary, until we find a better solution.
057e0274
Change the ;; notation for Seq and use ;;;, so that it stays compatible with stdpp/iris. This is temporary, until we find a better solution.