chore: silence trace

leanprover · Oct 4, 2024 · 6eb94d4 · 6eb94d4
1 parent 943ee99
commit 6eb94d4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Proofs/Popcount32.lean b/Proofs/Popcount32.lean
@@ -70,7 +70,6 @@ def popcount32_program : Program :=
 
 #genStepEqTheorems popcount32_program
 
-set_option trace.simp_mem.info true in
 theorem popcount32_sym_meets_spec (s0 sf : ArmState)
   (h_s0_pc         : read_pc s0 = 0x4005b4#64)
   (h_s0_program    : s0.program = popcount32_program)