tree 3296d910d56cb0fd8582c4f5e276412d8d009a5b
parent e8a2786d6d4defa29f8991eb03e1dd975311e5ae
author Leonardo de Moura <leomoura@amazon.com> 1711647029 -0700
committer Leonardo de Moura <leomoura@amazon.com> 1711647282 -0700

chore: fix `simproc` doc-string