-
Robbert Krebbers authored
This removes Ralf's hack of using later_car, which is not function in the logic. Thanks to Aleš for suggesting this.
ecd304f2
This removes Ralf's hack of using later_car, which is not function in the logic. Thanks to Aleš for suggesting this.