diff --git a/mk/lib.mk b/mk/lib.mk
index 3e602dc8360..4d1b2884067 100644
--- a/mk/lib.mk
+++ b/mk/lib.mk
@@ -43,7 +43,7 @@ EXTRACT_NS += -FStar.TaggedUnion
 EXTRACT_NS += -FStar.Bytes
 EXTRACT_NS += -FStar.Util
 EXTRACT_NS += -FStar.InteractiveHelpers
-EXTRACT_NS += -FStar.Class
+EXTRACT_NS += -FStar.Class.Embeddable
 EXTRACT_NS += -FStar.Vector.Base
 EXTRACT_NS += -FStar.Vector.Properties
 EXTRACT_NS += -FStar.Vector