## Stream: new members

### Topic: try ... else try ...

#### Anatole Dedecker (Jul 26 2020 at 12:16):

Is there a way to use the try tactic so that if the tried tactic fails, and only if it fails, we try another one ?

#### Markus Himmel (Jul 26 2020 at 12:17):

Anatole Dedecker said:

Is there a way to use the try tactic so that if the tried tactic fails, and only if it fails, we try another one ?

You can write tac <|> tac2 to say "do tac, but if it fails, do tac2 instead"

#### Anatole Dedecker (Jul 26 2020 at 12:18):

Ooooooh thanks a lot !

Last updated: May 13 2021 at 19:20 UTC