From 1dc9f51dc547fc2a5f72095a49f49c540b96a71b Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 1 May 2018 13:10:59 +0100
Subject: it works

---
 lib/_tags | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/_tags b/lib/_tags
index 916a546b..11942779 100644
--- a/lib/_tags
+++ b/lib/_tags
@@ -1,2 +1,4 @@
+true: debug
+
 <*.m{l,li}>: package(lem), package(linksem), package(zarith)
-<main.native>: package(lem), package(linksem), package(zarith)
\ No newline at end of file
+<main.native>: package(lem), package(linksem), package(zarith)
-- 
cgit v1.2.3