fix

HOL-Theorem-Prover · Nov 10, 2024 · 2a91d0c · 2a91d0c
1 parent b54197d
commit 2a91d0c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools-poly/configure.sml b/tools-poly/configure.sml
@@ -426,6 +426,7 @@ val _ = work_in_dir
           "Holmake" (fullPath [HOLDIR, "tools", "Holmake", "poly"])
           (fn () => (OS.FileSys.chDir "..";
                      systeml [lexer, "HolLex"];
+                     systeml [lexer, "QuoteFilter"];
                      OS.FileSys.chDir "poly";
                      polyc_compile (SOME "../mlton/Holmake.mlb")
                                    "poly-Holmake.ML" hmakebin))