add test

tests/lean/run/simproc1.lean

diff --git a/tests/lean/run/simproc1.lean b/tests/lean/run/simproc1.lean
index ec6eb08..647b841 100644
--- a/tests/lean/run/simproc1.lean
+++ b/tests/lean/run/simproc1.lean
@@ -5,11 +5,15 @@
 
 open Lean Meta
 
+/-- doc-comment for reduceFoo -/
 simproc reduceFoo (foo _) := fun e => do
   unless e.isAppOfArity ``foo 1 do return .continue
   let some n ← Nat.fromExpr? e.appArg! | return .continue
   return .done { expr := mkNatLit (n+10) }
 
+#eval show MetaM _ from do
+  guard <| (← findDocString? (← getEnv) ``reduceFoo) = some "doc-comment for reduceFoo "
+
 example : x + foo 2 = 12 + x := by
   set_option simprocs false in fail_if_success simp
   simp_arith