From 88a8c5790b9e8f7e56b4a3db367f8fbbe39e6aa4 Mon Sep 17 00:00:00 2001
From: Aaron Gutierrez <amgutier@bench.res.cmu.edu>
Date: Sat, 31 Oct 2015 16:14:33 -0400
Subject: [PATCH] config opam env on login

---
 .bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bashrc b/.bashrc
index 1dfc991..86183a8 100644
--- a/.bashrc
+++ b/.bashrc
@@ -68,3 +68,4 @@ mesg n
 
 # OPAM configuration
 . /home/amgutier/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
+eval `opam config env`