A Kripke model for simplicial sets

By means of a countermodel we show that the homotopy equivalence of the fibers of a Kan fibration over a connected base cannot be proved constructively.