From c6c6639d8f0d13a6be22dcae22ad3bb041bf5a71 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 8 Aug 2017 17:41:25 +0100
Subject: Switch to using menhir for sail parser in experiments branch

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

(limited to 'src')

diff --git a/src/_tags b/src/_tags
index 83ca12e0..d8653781 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,4 +1,4 @@
-true: -traverse, debug
+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