- (Pcre.regexp "\\.types", Pcre.regexp "\\.types\\.ann",
- Pcre.regexp "\\.body", Pcre.regexp "\\.body.ann",
- Pcre.regexp "\\.proof_tree", Pcre.regexp "\\.proof_tree\\.ann")
+ (Pcre.regexp "\\.types$", Pcre.regexp "\\.types\\.ann$",
+ Pcre.regexp "\\.body$", Pcre.regexp "\\.body\\.ann$",
+ Pcre.regexp "\\.proof_tree$", Pcre.regexp "\\.proof_tree\\.ann$")