From bbb3faf55eaa2915492d721f8bbfd52fbef44461 Mon Sep 17 00:00:00 2001 From: katherine Date: Sun, 2 Dec 2018 16:55:28 -0700 Subject: more ocaml tweaks decided would rather not have the completion stuff in vim --- .ocamlinit | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to '.ocamlinit') 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;; -- cgit v1.2.3