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

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

    | Directive_bool of (bool -> unit)
 
 val directive_table : (string, directive_fun) Hashtbl.t
Index: tools/Makefile.shared
===================================================================
--- tools/Makefile.shared	(revision 13955)
+++ tools/Makefile.shared	(working copy)
@@ -210,6 +210,7 @@
           ../parsing/location.cmo \
           ../parsing/longident.cmo \
           ../parsing/lexer.cmo \
+          ../parsing/printast.cmo \
           ../parsing/pprintast.cmo \
           ../typing/ident.cmo \
           ../typing/path.cmo \
Index: camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
===================================================================
--- camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml	(revision 13955)
+++ camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml	(working copy)
@@ -1229,7 +1229,7 @@
     | ExInt _ i -> Pdir_int (int_of_string i)
     | <:expr< True >> -> Pdir_bool True
     | <:expr< False >> -> Pdir_bool False
-    | e -> Pdir_ident (ident_noloc (ident_of_expr e)) ]
+    | e -> Pdir_ident (ident (ident_of_expr e)) ]
   ;
 
   value phrase =
Index: camlp4/boot/Camlp4.ml
===================================================================
--- camlp4/boot/Camlp4.ml	(revision 13955)
+++ camlp4/boot/Camlp4.ml	(working copy)
@@ -15686,7 +15686,7 @@
               | ExInt (_, i) -> Pdir_int (int_of_string i)
               | Ast.ExId (_, (Ast.IdUid (_, "True"))) -> Pdir_bool true
               | Ast.ExId (_, (Ast.IdUid (_, "False"))) -> Pdir_bool false
-              | e -> Pdir_ident (ident_noloc (ident_of_expr e))
+              | e -> Pdir_ident (ident (ident_of_expr e))
               
             let phrase =
               function
