Fix UI bolding of nice equations (#328)

teorth · Oct 5, 2024 · b6373e8 · b6373e8
1 parent 8ddc4a0
commit b6373e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/generate_equation_implication_js.py b/scripts/generate_equation_implication_js.py
@@ -110,7 +110,7 @@ def find_equivalence_classes_fast(implications):
 
 special = []
 for line in open("equational_theories/Equations.lean"):
-    if line.startswith("abbrev Equation"):
+    if line.startswith("equation") and ':=' in line:
         special.append(line.split()[1])
 print("var special = ", special)