From 3d2b79422d9619a1f2dc915d389eab1f6454efeb Mon Sep 17 00:00:00 2001
From: Cezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Date: Tue, 27 Aug 2013 15:20:45 +0200
Subject: [PATCH] Update from HH

---
 make.ml |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/make.ml b/make.ml
index 9ba496f..530646e 100644
--- a/make.ml
+++ b/make.ml
@@ -1,3 +1,4 @@
+Unix.putenv "FLYSPECK_DIR" (Unix.getcwd () ^ "/text_formalization");;
 load_path := (Unix.getcwd () ^ "/jHOLLight") :: !load_path;;
 load_path := (Unix.getcwd () ^ "/text_formalization") :: !load_path;;
 loadt "text_formalization/strictbuild.hl";;
-- 
1.7.1