-
Jean-Christophe Filliâtre authored
This reverts commit b19660c9. We prefer not having two syntaxes for the same thing. (With the approval of Andrei, of course.)
60b2fc15
This reverts commit b19660c9. We prefer not having two syntaxes for the same thing. (With the approval of Andrei, of course.)