- (CicNotationRew.lookup_interpretations symbol))
- with CicNotationRew.Interpretation_not_found | Not_found ->
- raise (Choice_not_found (sprintf "Symbol %s, dsc %s" symbol dsc))
+ (TermAcicContent.lookup_interpretations symbol))
+ with TermAcicContent.Interpretation_not_found | Not_found ->
+ raise (Choice_not_found (lazy (sprintf "Symbol %s, dsc %s" symbol dsc)))