Conejo en salsa con champiñones

Limpiamos los champiñones, los partimos en láminas o cuartos.
En la olla exprés ponemos un chorro de aceite, añadimos los ajos cortados en trozos y doramos. Añadimos los champiñones y salpimentamos. Cocinamos y reservamos.
Salpimentamos y pasamos por harina el conejo. Doramos con el aceite de los champiñones, añadiendo más si es necesario. Reservamos.
Partimos la cebolla en juliana fina, añadimos sal y la pochamos (en la misma olla) hasta que esté transparente. Añadimos el tomate. Cuando esté frito agregamos el conejo, el vino (dejamos que se evapore el alcohol), un vaso de agua y la hoja de laurel.
Cerramos la olla y cocinamos durante 15-25 minutos (dependiendo de la olla y de como nos guste el punto de la carne del conejo)
Abrimos la olla, añadimos los champiñones con los ajos tierno, cocinamos durante 3-4 minutos. Servimos.