From 5f2080ce05707f349af13d4eeb9ff97ab63c3fbc Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Mon, 30 Jan 2017 10:41:39 +0000
Subject: switch to github ott

---
 language/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/language/Makefile b/language/Makefile
index 74def9cf..1420ab1f 100644
--- a/language/Makefile
+++ b/language/Makefile
@@ -1,6 +1,6 @@
 #OTT=../../../rsem/ott/bin/ott
 # this is the binary that gets rebuilt by make in ott/src:
-OTT=../../../rsem/ott/src/ott
+OTT=../../../github/ott/src/ott
 OTTLIB=$(dir $(shell which ott))../hol
 
 .PHONY: all
-- 
cgit v1.2.3