lib.mk: include most FStar.Class modules

Only skip FStar.Class.Embeddable which depends on terms, and can only go into the plugin lib.
FStarLang · Jan 30, 2025 · 503ea82 · 503ea82
1 parent 2beaa65
commit 503ea82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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