diff --git a/lib/descr/.distr b/lib/descr/.distr
index c06b0bf6..a75b251a 100644
--- a/lib/descr/.distr
+++ b/lib/descr/.distr
@@ -1,3 +1,2 @@
 fe
 cpm
-int