# HG changeset patch # User haftmann # Date 1118911375 -7200 # Node ID 9bbaa56956911fe84d41b674a2152ebe9934cbab # Parent e3c3405613c5d937f5789225be53d6b1fbfba177 isa-migrate ++ diff -r e3c3405613c5 -r 9bbaa5695691 Admin/isa-migrate --- a/Admin/isa-migrate Thu Jun 16 10:37:39 2005 +0200 +++ b/Admin/isa-migrate Thu Jun 16 10:42:55 2005 +0200 @@ -23,8 +23,8 @@ }, thyheader => sub { my ($file, @content) = @_; - #~ my $diag = 1; - my $diag = 0; + my $diag = 1; + #~ my $diag = 0; $_ = join("", @content); if (m!^theory!cgoms) { my $prelude = $`; @@ -63,7 +63,7 @@ if (m!\G(?:begin|:)!cgoms) { my $postlude = $'; - if ($& == ":") { + if ($& eq ":") { $thyheader .= " "; } $thyheader .= "begin";