1 files changed, 1 insertions, 0 deletions

diff --git a/_tags b/_tags
index cf8319bd9..08dc9f1af 100644
--- a/_tags
+++ b/_tags
@@ -64,6 +64,7 @@
 "ide": include
 "ide/utils": include
 "interp": include
+"intf": include
 "kernel": include
 "kernel/byterun": include
 "lib": include