              fprintf ppf "Wrong type of argument for directive `%s'.@." dir_name;
 Index: toplevel/topdirs.mli
 ===================================================================
---- toplevel/topdirs.mli	(revision 13953)
+--- toplevel/topdirs.mli	(revision 13955)
 +++ toplevel/topdirs.mli	(working copy)
 @@ -20,11 +20,12 @@
  val dir_cd : string -> unit

 type 'a printer_type_old = 'a -> unit
Index: toplevel/toploop.mli
===================================================================
--- toplevel/toploop.mli	(revision 13953)
+++ toplevel/toploop.mli	(working copy)
@@ -37,7 +37,8 @@
    | Directive_none of (unit -> unit)

 
Index: toplevel/opttoploop.ml
===================================================================
--- toplevel/opttoploop.ml	(revision 13955)
+++ toplevel/opttoploop.ml	(working copy)
@@ -53,6 +53,7 @@
    | Directive_string of (string -> unit)
