Commit 489f4d73 authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent 17ffd7fc
...@@ -659,7 +659,7 @@ class ['self] fold = object (_self) ...@@ -659,7 +659,7 @@ class ['self] fold = object (_self)
(* No methods are provided, as we do not wish to fix the types of these (* No methods are provided, as we do not wish to fix the types of these
methods. It is up to the user to inherit from a class that defines methods. It is up to the user to inherit from a class that defines
appropriate methods. Note that [RuntimeVisitors.map] is likely to be appropriate methods. Note that [VisitorsRuntime.map] is likely to be
appropriate in many situations. *) appropriate in many situations. *)
end end
......
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