1 files changed, 2 insertions, 3 deletions

diff --git a/.ocamlinit b/.ocamlinit
index 22c8994..da23674 100644
--- a/.ocamlinit
+++ b/.ocamlinit
@@ -1,7 +1,6 @@
 #use "topfind";;
 
-#require "base";;
-#require "core";;
+#require "core.top";;
+#require "core.syntax";;
 
-open Base;;
 open Core;;