diff --git a/tools-poly/configure.sml b/tools-poly/configure.sml index e871e051ed..669828023f 100644 --- 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))