fix typo

opencompl · Jan 23, 2025 · be2b58a · be2b58a
1 parent 2420466
commit be2b58a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/lean/run/ac_nf.lean b/tests/lean/run/ac_nf.lean
@@ -34,7 +34,7 @@ theorem short_circuit_triple_mul (x x_1 x_2 : BitVec 32) (h : ¬x_2 &&& 4096#32
 /-! ### Scaling Test -/
 
 /-- `repeat_add $n with $t` expands to `$t + $t + ... + $t`, with `n` repetitions
-of `t`/ -/
+of `t` -/
 local macro "repeat_add" n:num "with" x:term  : term =>
   let rec go : Nat → MacroM Term
     | 0   => `($x)