Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 36e1ec8c authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent 91271e8b
......@@ -580,7 +580,7 @@ just a matter of performing a synchronous traversal of the two expressions and
detecting a \oc|StructuralMismatch| exception: if this exception is raised,
one must return \oc|false|, otherwise one must return \oc|true|. We rely on
the fact that the method \tyconvisitor{int}, which is inherited from the class
\runtime{iter2}, fails when its two integer argument are
\runtime{iter2}, fails when its two integer arguments are
unequal.
The convenience functions \runtime{wrap} and
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment