- raise (CicNotationParser.Parse_error
- (loc, "the pattern cannot specify the term to replace, only its"
- ^ " paths in the hypotheses and in the conclusion"))
+ raise (HExtlib.Localized (loc, CicNotationParser.Parse_error
+ ("the pattern cannot specify the term to replace, only its"
+ ^ " paths in the hypotheses and in the conclusion")))