changeset 16407 | e3c3405613c5 |
parent 16406 | 4f393b8f84b7 |
child 16408 | 9bbaa5695691 |
--- a/Admin/isa-migrate Thu Jun 16 10:30:26 2005 +0200 +++ b/Admin/isa-migrate Thu Jun 16 10:37:39 2005 +0200 @@ -27,7 +27,7 @@ my $diag = 0; $_ = join("", @content); if (m!^theory!cgoms) { - my $prelude = $'; + my $prelude = $`; my $thyheader = "theory"; $thyheader .= skip_wscomment(); if (m!\G(\S+)!cgoms) {