lib.mk: include most FStar.Class modules

Only skip FStar.Class.Embeddable which depends on terms, and can only go into the plugin lib.
mtzguido · Jan 30, 2025 · d62b0aa · d62b0aa
1 parent 3d50ae0
commit d62b0aa
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