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 = $_;