Agda-2.3.2.2: examples/outdated-and-incorrect/univ/bugs-in-paper

p1.l-8:  [u] : Γ.A -> Γ  --->  [u] : Γ -> Γ.A