From 41b3f6a2f45c6ee24e7db8b65a4df81f9eb2aca0 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 10 Aug 2017 16:57:04 +0100
Subject: Disable menhir on this branch (until location information is updated)

---
 src/_tags | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/_tags b/src/_tags
index d8653781..a89796b8 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,4 +1,5 @@
-true: -traverse, debug, use_menhir
+true: -traverse, debug
+#, use_menhir
 <**/*.ml>: bin_annot, annot
 <lem_interp> or <test>:  include
 <sail.{byte,native}>: use_pprint, use_nums, use_unix
-- 
cgit v1.2.3