diff --git a/source/primitives.mmt b/source/primitives.mmt
index 1954a02187a6b406f9e4fa327bb4deb5bbba91c8..6333da236b6551da288ff93ad0ba874f9fef9c6d 100644
--- a/source/primitives.mmt
+++ b/source/primitives.mmt
@@ -2,6 +2,7 @@ namespace https://www.gap-system.org/mitm ❚
 
 theory prim : ../?Types =
 	ListConstr ❙
+	PermConstr ❙
 ❚
 
 // theory Types : ur:?PLF =