Remove an Ltac hack that was there for unknown reason.

1 job for master in 3 minutes and 59 seconds (queued for 1 second)