Permalink
Browse files

wpapi: fix msg in exception

  • Loading branch information...
1 parent 0626ad6 commit a57e2463a668a732198fabc0b99015e821091837 Bo Adler committed Nov 21, 2010
Showing with 1 addition and 1 deletion.
  1. +1 −1 remote/analysis/wikipedia_api.ml
View
2 remote/analysis/wikipedia_api.ml
@@ -535,7 +535,7 @@ let store_wiki_revs (db: Online_db.db) (wiki_page: wiki_page_t) (wiki_revs: wik
delete_oldpage wpage.page_id;
(* We need to throw an exception here, because we need to
* re-download the revisions of this page from the begining. *)
- raise (API_error "store_wiki_revs: title changed");
+ raise (API_error "store_wiki_revs: pageid changed");
end
in
List.iter same_id old_pageids

0 comments on commit a57e246

Please sign in to comment.