Case Quad.

FEM/finite_element.v

@@ -427,10 +427,10 @@ Local Definition interp_op_local_ref : F dd -> F dd :=
   fun v => interp_op_local FE_ref v.
 
 (* HYPOTHESIS : FE_ref is indeed a reference FE *)
-Hypothesis FE_ref_is_ref : forall z, vtx_ref z = 
-   match (nvtx_dec FE_ref) with
-     | left H => vtxP1 dd (cast_ord H z) (* Simplex *)
-     | right _ => zero    (* Quad *) (* should be vtxQ1 *)
+Hypothesis FE_ref_is_ref : forall j, vtx_ref j = 
+   match nvtx_dec FE_ref with
+     | left H => vtxP1 dd (cast_ord H j) (* Simplex *)
+     | right H => vtxQ1 dd (cast_ord H j) (* Quad *)
 end.
 
 (*