Load doesn't support attributes

1 files changed, 2 insertions, 2 deletions

diff --git a/vernac/attributes.ml b/vernac/attributes.ml
index 389441356e..14db90c3de 100644
--- a/vernac/attributes.ml
+++ b/vernac/attributes.ml
@@ -11,13 +11,13 @@
 open CErrors
 open Vernacexpr
 
-let unsupported_attributes ?loc = function
+let unsupported_attributes = function
   | [] -> ()
   | atts ->
     let keys = List.map fst atts in
     let keys = List.sort_uniq String.compare keys in
     let conj = match keys with [_] -> "this attribute: " | _ -> "these attributes: " in
-    user_err ?loc Pp.(str "This command does not support " ++ str conj ++ prlist str keys ++ str".")
+    user_err Pp.(str "This command does not support " ++ str conj ++ prlist str keys ++ str".")
 
 type 'a key_parser = 'a option -> vernac_flag_value -> 'a