aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.ocamlinit3
1 files changed, 3 insertions, 0 deletions
diff --git a/.ocamlinit b/.ocamlinit
index 2442c58..22c8994 100644
--- a/.ocamlinit
+++ b/.ocamlinit
@@ -2,3 +2,6 @@
#require "base";;
#require "core";;
+
+open Base;;
+open Core;;