Get help/src-sml to build again after 7c55b699b9714

talsewell · Jul 2, 2024 · a004768 · a004768
1 parent 582373f
commit a004768
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/help/src-sml/poly-stdprefix.ML b/help/src-sml/poly-stdprefix.ML
@@ -7,6 +7,7 @@ val _ = use "../../tools-poly/poly/Listsort.sml";
 val _ = use "../../src/portableML/Uref.sig"
 val _ = use "../../src/portableML/Uref.sml"
 val _ = use "../../src/portableML/poly/PrettyImpl.sml"
+val _ = use "../../src/portableML/quotation_dtype.sml"
 val _ = use "../../src/portableML/HOLPP.sig"
 val _ = use "../../src/portableML/HOLPP.sml"
 val _ = use "../../src/portableML/poly/Arbnumcore.sig"