Merge pull request #303 from proux01/locate_typo

Fix typo in HB.locate usage message

Author: gares

structures.v

@@ -259,7 +259,7 @@ main [str S] :- !,
      (coq.say "HB: synthesized in file" Loc)
      (coq.say "HB:" S "not synthesized by HB").
 
-main _ :- coq.error "Usage: HB.about <name>.".
+main _ :- coq.error "Usage: HB.locate <name>.".
 }}.
 Elpi Typecheck.
 Elpi Export HB.locate.