# HG changeset patch
# User haftmann
# Date 1118911059 -7200
# Node ID e3c3405613c5d937f5789225be53d6b1fbfba177
# Parent  4f393b8f84b713e19ac44c96b059c786d20a0ba4
isa-migrate ++

diff -r 4f393b8f84b7 -r e3c3405613c5 Admin/isa-migrate
--- 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) {