From a64648eae64671edcca03a48ae385c5c6bfc96bb Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: May 12 2014 15:37:26 +0000
Subject: temporarily revert the bootstrap of naked-pointers before merging format+gadts


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/boot/ocamlc b/boot/ocamlc
index 891a8cd..c81a01b 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamldep b/boot/ocamldep
index bc3cb94..ed1e927 100755
Binary files a/boot/ocamldep and b/boot/ocamldep differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 83291b9..f380633 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ