# HG changeset patch
# User wenzelm
# Date 969010065 -7200
# Node ID 179dad40babc4712962eb7bb647e1b271df5c974
# Parent  e2ddb6a124279e1c1b9c1ba21ad84e08e4346ba0
fixed name;

diff -r e2ddb6a12427 -r 179dad40babc lib/scripts/fixsome.pl
--- a/lib/scripts/fixsome.pl	Fri Sep 15 11:17:33 2000 +0200
+++ b/lib/scripts/fixsome.pl	Fri Sep 15 11:27:45 2000 +0200
@@ -3,10 +3,10 @@
 # Author: Markus Wenzel, TU Muenchen
 # License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
-# fixclasimp.pl - fix references to implicit claset and simpset
+# fixsome.pl - fix references to implicit claset and simpset
 #
 
-sub fixclasimp {
+sub fixsome {
     my ($file) = @_;
 
     open (FILE, $file) || die $!;
@@ -40,6 +40,6 @@
 ## main
 
 foreach $file (@ARGV) {
-  eval { &fixclasimp($file); };
-  if ($@) { print STDERR "*** fixclasimp $file: ", $@, "\n"; }
+  eval { &fixsome($file); };
+  if ($@) { print STDERR "*** fixsome $file: ", $@, "\n"; }
 }