Fix UI bolding

teorth · Oct 5, 2024 · 420fcf2 · 420fcf2
1 parent 45aa093
commit 420fcf2
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)