From 420fcf2c358af339b88f6090f5da5ddb9860dc59 Mon Sep 17 00:00:00 2001 From: Nicholas Carlini Date: Sat, 5 Oct 2024 11:37:43 -0700 Subject: [PATCH] Fix UI bolding --- scripts/generate_equation_implication_js.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/generate_equation_implication_js.py b/scripts/generate_equation_implication_js.py index baf7e670..02565f13 100644 --- 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)