# HG changeset patch
# User wenzelm
# Date 1114278548 -7200
# Node ID ac7ea72c463bfb6f4fe3b9c45115a3f8a8135b35
# Parent  63914dbc46453a318d686f6f66245b505c133323
cover CPure.- and CPure._ as well;

diff -r 63914dbc4645 -r ac7ea72c463b lib/scripts/fixcpure.pl
--- 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 = $_;