it works

1 files changed, 3 insertions, 1 deletions

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)