diff --git a/theories/algebra/view.v b/theories/algebra/view.v
index 21541b73b361d30fe53b19a067a6ea8ed59f2585..85e9670a95156d34da988b6b40a160bc7c38a661 100644
--- a/theories/algebra/view.v
+++ b/theories/algebra/view.v
@@ -55,7 +55,7 @@ Structure view_rel (A : ofeT) (B : ucmraT) := ViewRel {
 }.
 Arguments ViewRel {_ _} _ _.
 Arguments view_rel_holds {_ _} _ _ _ _.
-Instance: Params (@view_rel) 4 := {}.
+Instance: Params (@view_rel_holds) 4 := {}.
 
 Instance view_rel_ne {A B} (rel : view_rel A B) n :
   Proper (dist n ==> dist n ==> iff) (rel n).