changeset 15821 | ac7ea72c463b |
parent 15805 | 1e8017f1e971 |
--- a/lib/scripts/fixcpure.pl Sat Apr 23 19:49:01 2005 +0200 +++ b/lib/scripts/fixcpure.pl Sat Apr 23 19:49:08 2005 +0200 @@ -15,7 +15,7 @@ $_ = $text; s/\bCPure\.thy\b/-THE-CPURE-THEORY-/sg; - s/\bCPure\.([A-Za-z])/Pure.$1/sg; + s/\bCPure\.([A-Za-z_\-])/Pure.$1/sg; s/-THE-CPURE-THEORY-/CPure.thy/sg; $result = $_;