Merge branch 'refactor-concrete-ident-generated' of github.com:hacspe…

…c/hax into refactor-concrete-ident-generated
cryspen · Jun 20, 2024 · 3df7ec8 · 3df7ec8
2 parents 69be94a + 2d680cb
commit 3df7ec8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/engine/names/extract/build.rs b/engine/names/extract/build.rs
@@ -100,6 +100,8 @@ fn reader_to_str(s: String) -> String {
             .join(&format!("\n{TAB}| "))
     );
 
+    result += "\n";
+    result += "include (val Base.Comparator.make ~compare ~sexp_of_t)";
     result += "\n";
     result += "module Values = struct\n";
     for (json, name) in &def_ids {