ChezJrk · OwenConoly · Oct 30, 2025 · Oct 29, 2025 · Oct 30, 2025 · Oct 30, 2025
diff --git a/src/verified_lowering/count_reshape/.Makefile.coq.d b/src/verified_lowering/count_reshape/.Makefile.coq.d
diff --git a/src/verified_lowering/inferpad/InferPad.v b/src/verified_lowering/inferpad/InferPad.v
diff --git a/src/verified_lowering/inferpad/Reify.v b/src/verified_lowering/inferpad/Reify.v
@@ -116,7 +116,6 @@ Ltac reify_R s :=
   | _ =>
       let tup := reify_get s in
       constr:(match tup with
-              | (var,[]) => Var var
               | (var,idx) => Get var idx
               end)
   end.